This course will cover mathematical logic, proof methods and development of proof techniques, mathematical induction, sets, equivalence relations, partial ordering relations and functions. (Prerequisite: One of COMP 1000, MATH 1250, MATH 1260 or MATH 1270.) (2 lecture hours, 2 tutorial hours per week.)