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, isomorphisms, cosets and Lagrange's Theorem. Note: MATH 232 and ICS 251 are equivalent; only one can be taken for credit.