Proof Methods
- Nov 5
- ❌ Class cancelled
- Nov 7
- Class
Lecture 18: Introduction on proof
- 👨🏫
Tablet Notes
, 📝 Lecture Notes (§13), 📚 Davies §4.1 (pp. 223-244), 🪄
Scheinermann's Proof Templates
, 📚
Scheinermann Proof Chapter Part 1
, 📚
Scheinermann Proof Chapter Part 2
- Nov 8
- Recitation
Recitation 9: Exercises on Proof
- Slides
- Nov 12
- ❌ Class cancelled
- Nov 14
- Class
Lecture 19: Introduction to Induction
- 👨🏫
Tablet Notes
, 📝 Lecture Notes (§15), 📚 Davies §4.1 (pp. 231-240)
- Nov 15
- Recitation
Recitation 10: Exercises on Induction
- Slides
- Nov 15
- Homework
Homework 5: Expectation and Logic
- Due Mon Nov 25 at 11:59PM, Online Part,
Written Part
, LaTeX template on Overleaf, Gradescope Submission (TBA)
- Nov 19
- Class
Lecture 20: Introduction to Strong Induction
- 👨🏫
Tablet Notes
, 📝 Lecture Notes (§16), 🎥 Recording (Passcode: Qs7ea&vS), 📚 Davies §4.1 (pp. 240-243)
- Nov 21
- Class
Lecture 21: Introduction to Strong Induction
- 👨🏫
Tablet Notes
,
Hand-Out
- Nov 22
- Recitation
Recitation 11: Exercises on Strong Induction
- Slides
- Nov 22
- Homework
Homework 6: Proof
- Due Mon Dec 2 at 11:59PM, Online Part,
Written Part
, LaTeX template on Overleaf, Gradescope Submission (TBA)
