MAST 217
MAST 217
Winter 2025
Topics
- Exploration, definitions and mathematical conjectures
- Logical structure and language of mathematical statements
- Mathematical proof and argumentation
- Roles of assumptions, examples and counterexamples
- Proof methods
- Real numbers, sets and functions
- Cardinality
Readings
- Daniel J. Velleman. How to Prove It: A Structured Approach, 3rd edition. Cambridge University Press.
- Other text (not labelled required): Ian Stewart and David Tall. The Foundations of Mathematics, 2nd edition. Oxford University Press.
- Other text (not labelled required): J. Hillel, W. P. Byers, A. Sierpinska and H. Proppe. Introduction to Mathematical Thinking: MAST 217 Notes.
- Other text (not labelled required): T. Sundstrom. Mathematical Reasoning: Writing and Proof, version 3.
- Other text (not labelled required): D. C. Ernst. An Introduction to Proof via Inquiry-Based Learning.
Winter 2024
Readings
- Mathematical Reasoning: Writing and Proof, Version 3, by T. Sundstrom.
Fall 2023
Readings
- Mathematical Reasoning: Writing and Proof, Version 3, by T. Sundstrom.
Winter 2023
Readings
- Chartrand, G., Polimeni, A. and Zhang, P., “Mathematical Proofs: A transition to Advanced Mathematics”, 4th ed., Pearson.
Fall 2022
Readings
- Chartrand, G., Polimeni, A. and Zhang, P., “Mathematical Proofs: A transition to Advanced Mathematics”, 4th ed., Pearson.
Winter 2022
Readings
- Chartrand, G., Polimeni, A. and Zhang, P., “Mathematical Proofs: A transition to Advanced Mathematics”, 4th ed., Pearson.
Fall 2021
Readings
- Chartrand, G., Polimeni, A. and Zhang, P., “Mathematical Proofs: A transition to Advanced Mathematics”, 4th ed., Pearson.
Sources
- Syllabus or course outline ↗Winter 2025
- Historical course outline ↗Winter 2024
- Historical course outline ↗Fall 2023
- Historical course outline ↗Winter 2023
- Historical course outline ↗Fall 2022
- Historical course outline ↗Winter 2022
- Historical course outline ↗Fall 2021
- Winter 2025 outline. The separate “Other Texts” list is not included in the required-textbook field.
- Historical source. Generic Textbook/References headings remain requirement-unspecified. Bibliographic editions and years are retained as printed; source inconsistencies may remain. Automated extraction with conservative filtering; distinct bibliography strings screened for false positives; entire syllabus not manually reviewed.
- Historical source. Generic Textbook/References headings remain requirement-unspecified. Bibliographic editions and years are retained as printed; source inconsistencies may remain. Automated extraction with conservative filtering; distinct bibliography strings screened for false positives; entire syllabus not manually reviewed.
- Historical source. Generic Textbook/References headings remain requirement-unspecified. Bibliographic editions and years are retained as printed; source inconsistencies may remain. Automated extraction with conservative filtering; distinct bibliography strings screened for false positives; entire syllabus not manually reviewed.
- Historical source. Generic Textbook/References headings remain requirement-unspecified. Bibliographic editions and years are retained as printed; source inconsistencies may remain. Automated extraction with conservative filtering; distinct bibliography strings screened for false positives; entire syllabus not manually reviewed.
- Historical source. Generic Textbook/References headings remain requirement-unspecified. Bibliographic editions and years are retained as printed; source inconsistencies may remain. Automated extraction with conservative filtering; distinct bibliography strings screened for false positives; entire syllabus not manually reviewed.
- Historical source. Generic Textbook/References headings remain requirement-unspecified. Bibliographic editions and years are retained as printed; source inconsistencies may remain. Automated extraction with conservative filtering; distinct bibliography strings screened for false positives; entire syllabus not manually reviewed.