MATH 1800
Introduction to Mathematical Reasoning
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.
2022
Readings
- Mathematical Proofs: A Transition to Advanced Mathematics (third or fourth edition) by Chartrand, Polimeni & Zhang Book of Proof (third edition) by Hammack (free online)
Prerequisites & course information
Precludes additional credit for MATH 1805 (no longer offered), 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.
Sources
- Course catalogue ↗2026–2027
- MATH 1800A F22 ↗2022