| Week | Date | Day | Topic | Readings |
|---|---|---|---|---|
| 1 | 4 Jan | W | Introductions, Propositional Logic | ch. 1, 6 |
| 6 Jan | F | |||
| 2 | 9 Jan | M | ||
| 11 Jan | W | |||
| 13 Jan | F | |||
| 3 | 16 Jan | M | ||
| 18 Jan | W | Predicate Logic | ch. 7 | |
| 20 Jan | F | |||
| 4 | 23 Jan | M | ||
| 25 Jan | W | |||
| 27 Jan | F | Exam 1 | ||
| 5 | 30 Jan | M | Predicate Logic | ch. 7 |
| 1 Feb | W | |||
| 3 Feb | F | |||
| 6 | 6 Feb | M | Equational Reasoning | ch. 2 |
| 8 Feb | W | |||
| 10 Feb | F | Recursion | ch. 3 | |
| 7 | 13 Feb | M | ||
| 15 Feb | W | |||
| 17 Feb | F | Induction | ch. 4 | |
| 8 | 20 Feb | M | ||
| 22 Feb | W | |||
| 24 Feb | F | Exam 2 | ||
| 9 | 27 Feb | M | Trees | ch. 5 |
| 29 Feb | W | |||
| 2 Mar | F | |||
| 10 | 5 Mar | M | Set Theory | ch. 8 |
| 7 Mar | W | |||
| 9 Mar | F | |||
| 11 | Spring Break | |||
| 12 | 19 Mar | M | Inductively Defined Sets | ch. 9 |
| 21 Mar | W | |||
| 23 Mar | F | |||
| 13 | 26 Mar | M | Relations | ch. 10 |
| 28 Mar | W | |||
| 30 Mar | F | Exam 3 | ||
| 14 | 2 Apr | M | Relations | ch. 10 |
| 4 Apr | W | |||
| 6 Apr | F | |||
| 15 | 9 Apr | M | Functions | ch. 11 |
| 11 Apr | W | |||
| 13 Apr | F | |||
| 16 | 16 Apr | M |
