MAT 1362
Mathematical Reasoning and Proofs
Library resources
- Licence: CC BY-NC-ND 4.0 (Note: assigning sections is permitted , but adaptations are not allowed without permission)
- Licence: CC BY 4.0
- Licence: CC BY-NC-SA 3.0
Winter 2025 · Mathematical Reasoning & Proofs
Topics
- Integer axioms, ordering and induction
- Logical reasoning and proof methods
- Sets, functions and equivalence relations
- Modular arithmetic and primes
- Real-number axioms and bounds
- Injections, surjections and bijections
- Completeness, sequences and limits
Readings
- The Art of Proof
Sources
- Course catalogue ↗2026–2027
- University of Ottawa Library OER guide ↗
- instructor_course_page ↗Winter 2025
- Library resource mappings adapted from Mélanie Brunet and Catherine Lachaîne, University of Ottawa Library, OER by Discipline Guide / Guide REL par discipline (version 2.0), CC BY 4.0. Live web editions retrieved November 5, 2026.
- Readings are assigned by lecture-note section before each class.