To help students learn to write mathematical proofs and develop these skills in specific topics. This is not a textbook on the subjects and are is intended to replace a full course on say Number Theory.
They can also be used by instructors to support their courses. For example, when students need a refresher on Induction in a course like Linear Algebra that makes extensive use of the technique. Instructors can refer students to these handouts, which should enough of the basics so that, after solving all the problems, they can write proofs by Induction.
In the summer of 2024, I coordinated and taught an introductory course to mathematical proofs at the University of Toronto called MAT246: Concepts in Abstract Mathematics. A Pedagogical Innovation and Experimentation grant, supervised by Dr. Stan Yoshinobu, funded the creating of the handouts below.
I thank Stan, Gal Gross, Noha ElGarem, and Shuyang Chen for their valuable insights and suggestions.
[REMOVED DURING SUMMER COURSE]
All Handouts
1. How to learn
2. Set theory
3.1. Negating quantifiers
3.2. Contrapositive
4. Induction
5. Number theory
6. Quantifiers
7. Advanced set theory
8. Combinatorial proofs
9. An invitation to abstract math
[REMOVED DURING SUMMER COURSE]
The full course lectures of MAT246 (summer 2024) are available on YouTube: