The course gives an introduction to the mathematics of sets, functions and relations applied mainly to finite collects.

The course introduces sets and relations of various kinds, graphs relational composition, equivalances and partial orders, the notion of countability, induction, recursion and logic.

On completion of the course, students should: have a basic knowledge of sets and relations together with a appreciation of mathematical proof techniques, including proof by induction.