| 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 | Unit 4 | 2 | |
| 8 | Algorithmic Analysis | Unit 5 | ||
| 9 | Combinatorics | Unit 6 | 3 | |
| 10 | Graphs, Trees | Unit 7 | ||
| 11 | Probability 1 | Unit 8 | 4 | |
| 12 | Probability 2 | Unit 9 | Sunday, 2359 | |
| 13 | Rounding Up | 5 |