Proof Methods
- Nov 11
- Class Lecture 20: Introduction to Proofs
- ๐จโ๐ซ Tablet Notes , ๐ Lecture Notes (ยง13), ๐ฅ Recording (Panopto), ๐ Davies ยง9.1-9.3 (pp. 267-276)
- Nov 13
- Class Lecture 21: Direct Proofs and Proof by Contrapositive
- ๐จโ๐ซ Tablet Notes , ๐ Lecture Notes (ยง13), ๐ฅ Recording (Panopto), ๐ Davies ยง9.4-9.5 (pp. 276-283)
- Nov 14
- Recitation Recitation 10: Exercises on Proofs
Resource not found.
- Nov 18
- Class Lecture 22: Proof by Contradiction
- ๐จโ๐ซ Tablet Notes , ๐ Lecture Notes (ยง14), ๐ฅ Recording (Panopto), ๐ Davies ยง9.6 (pp. 283-287)
- Homework Homework 7: Proofs
- Due Mon Nov 25 at 11:59PM, Online Part,
Resource not found.
- Nov 20
- Class Lecture 23: Mathematical Induction (Weak Induction)
- ๐จโ๐ซ Tablet Notes , ๐ Lecture Notes (ยง15), ๐ฅ Recording (Panopto), ๐ Davies ยง9.7 (pp. 287-295)
- Nov 21
- Recitation Recitation 11: Exam 2 Review
- ๐
Resource not found.
,Resource not found.
- Nov 25
- Exam Exam 2: Probability, Logic, and Proofs
- ๐
Resource not found.
- Nov 27 - Dec 1
- ๐ฆ Thanksgiving Break ๐ Enjoy time with family and friends! Rest and recharge! ๐๐ฅง
- Dec 1 (?)
- Class Lecture 24: Strong Induction and Structural Induction
- ๐จโ๐ซ Tablet Notes , ๐ Lecture Notes (ยง16), ๐ฅ Recording (Panopto), ๐ Davies ยง9.8 (pp. 295-301)