Authorised by Academic Registrar, April 1996
Objectives On 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 This subject covers a number of 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 Examination (two hours): 85% + Practical work: 15%