There is no textbook for this class. Instead, there is a set of comprehensive lecture notes. Make sure you revisit the notes after every lecture. Each note may be covered in one or more lectures.
Megan says, “When I took the course, I studied the notes until I was able to comfortably reproduce all of the proofs.See Policies for more information.
- Note 0: Sets and Mathematical Notation
- Note 1: Propositional Logic
- Note 2: Proofs
- Note 3: Induction
- Note 4: Stable Matching
Discussions will be held over Zoom. The discussion sections are specifically designed to consolidate the material covered in lectures and in the notes. It is highly recommended that you attend all discussions each week. You should attend the discussion that you signed up for, since attendance for that discussion will be graded. All sections are equivalent: they all cover the same material. See Policies for more information.
- Discussion 0a: Introduction, Logic (solution)
- Discussion 0b: Proofs (solution)
- Discussion 1a: Induction
- Discussion 1b: Stable Matching
There will be weekly required homeworks, again designed to consolidate your understanding of the course material. It is highly recommended that you attempt all homeworks. Your lowest two homework scores will be dropped, but this drop should be reserved for emergencies. No additional allowances will be made for late or missed homeworks: please do not contact us about missed homeworks or late submissions. See Policies for more information.
(Tentative) Lecture Schedule
- Lecture 1 : Introduction & Logic. Slides: (full) (6up) ( Note 1)
- Lecture 2 : Proofs, maybe induction. (Draft) Slides: (full) (6up) ( Note 2 Note 3)
- Lecture 2 : Proofs, maybe induction. Slides: (full) (6up) ( Note 2 Note 3)
- Lecture 3 : Induction. (Draft) Slides: (full) (6up) ( Note 3)