3.7 Procedures
Procedures are a key abstraction in software. They provide a way to package code that implements some functionality with a designated set of arguments and an optional return value.
Ch2PartIII
Representing and Manipulating Information (Part III)
2.4 Floating Point
A floating-point representation encodes rational numbers of the form $V = x \times 2^y$.
It is useful for performing computations involving very large numbers ,numbers very close to 0 , and more generally as an approximation to real arithmetic.
PropositionalLogic
Propositional Logic