Objectives for Section 5

After studying this section you should be able to do the following.

• Recognise and use the terminology: binary operation, infix notation, quotient and remainder (associated with integer division).
• Use the notation for various binary operations introduced in the text, in particular DIV and MOD on integers; and ∧ (and) and ∨ (or) on Boolean values.
• Suggest appropriate signatures and preconditions for functions corresponding to binary operations, including comparisons that return Boolean values.
• Evaluate expressions involving functions and binary operations introduced in the text. Take note of where brackets appear in an expression.
• Recognise an expression that is invalid because it uses a process in a way inconsistent with its signature or precondition.