| Week | Topic | Notes Unit, Part | Tutorial | Assignment Due Dates (TBD) |
|---|---|---|---|---|
| 1 (12 Jan - 16 Jan) | Introduction and Course Overview Propositional Logic | Unit 1 Part 1 | ||
| 2 (19 Jan - 23 Jan) | First-Order Logic | Unit 1 Part 2 | ||
| 3 (26 Jan - 30 Jan) | Proofs Part 1 | Unit 1 Part 3 | 1 | |
| 4 (2 Feb - 6 Feb) | Proofs Part 2 | Unit 1 Part 3 | ||
| 5 (9 Feb - 13 Feb) | Set Theory | Unit 2 | 2 | |
| 6 (16 Feb - 20 Feb) | Relations | Unit 3 | ||
| Recess Week (23 Feb - 27 Feb) | ||||
| 7 (2 Mar - 7 Mar) | Induction, Recurrences | Unit 4 | 3 | |
| 8 (9 Mar - 13 Mar) | Algorithmic Analysis | Unit 5 | ||
| 9 (16 Mar - 20 Mar) | Combinatorics | Unit 6 | 4 | |
| 10 (23 Mar - 27 Mar) | Graphs, Trees | Unit 7 | ||
| 11 (30 Mar - 3 Apr) | Probability (Part 1) | Unit 8 | 5 | |
| 12 (6 Apr - 10 Apr) | Probability (Part 2) | Unit 9 | ||
| 13 (13 Apr - 17 Apr) | NIL | 6 |