Elementary logic, propositional and predicate calculus, quantifiers, sets and functions, bijections and elementary counting, the concept of infinity, relations, well ordering and induction. The practice of mathematical proof in elementary number theory and combinatorics. Precludes additional credit for MATH 1805/COMP 1805. Prerequisite(s): Ontario Grade 12 Mathematics: Advanced Functions, or MATH 0005, or equivalent. Lectures three hours a week, tutorial one hour a week.
Elementary logic, propositional and predicate calculus, quantifiers, sets and functions, bijections and elementary counting, the concept of infinity, relations, well ordering and induction. The practice of mathematical proof in elementary number theory and combinatorics. Precludes additional credit for MATH 1805/COMP 1805. Prerequisite(s): Ontario Grade 12 Mathematics: Advanced Functions, or MATH 0005, or equivalent. Lectures three hours a week, tutorial one hour a week.