Authorised by Academic Registrar, April 1996
Objectives On the completion of this subject students should understand what a proof is; be able to construct proofs using modus ponens, contradiction and mathematical induction; and be able to represent information using numbers, relations, functions and graphs.
Synopsis Topics fundamental to mathematics and computing, including elementary number theory, sets, relations and functions; methods of logic and proof, especially proof by induction; recurrence relations and difference equations; trees and other graphs.
Assessment Examinations (2 hours): 85% + Practicals and/or assignments: 15%