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 |