Elementary logic. Methods of proof. Set theory. Relations and functions. Finite and infinite sets. Equivalence relations and congruence. Divisibility and the fundamental theorem of arithmetic. Well-ordering and axiom of choice. Groups, subgroups, symmetric groups, cyclic groups and order of an element, isomorphism, cosets and Lagrange's Theorem : Note: Not to be taken for credit with ICS 253

Pre-requisites: MATH102