| Week | Topic | Notes Unit, Part | Tutorial | Assignment Due Dates |
|---|---|---|---|---|
| 1 | Introduction and Course Overview | |||
| 2 | Propositional Logic, First Order Logic | Unit 1 Part 1, Unit 1 Part 2 | ||
| 3 | Break | None due to CNY | ||
| 4 | Proofs In First Order Logic | Unit 1 Part 3 | ||
| 5 | Set Theory | Unit 2 | 1 | Assignment 1, Release |
| 6 | Relations | Unit 3 | ||
| Recess Week | Sunday, 2359 | |||
| 7 | Induction, Recurrences | 2 | ||
| 8 | Algorithmic Analysis | |||
| 9 | Graphs, Trees | 3 | ||
| 10 | Combinatorics | Friday | ||
| 11 | Probability 1 | 4 | ||
| 12 | Probability 2 | |||
| 13 | Rounding Up | 5 |