| Date | Topic |
| 19 Jan. | Natural Deduction |
| 24 Jan. | Propositional Semantics |
| 7 Feb. | Extra Worked Example |
| 31 Jan. | Predicate Calculus |
| 2 Feb. | Equality |
| 7 Feb. | Theories |
| 7 Feb. | Predicate Semantics |
| 9 Feb. | Number Theory |
| 14 Feb. | Tree Method |
| 21 Feb. | Sample Quantifier Proofs |
| 21 Feb. | Logic of Programs |
| 23 Feb. | More Logic of Programs |
| 23 Feb. | Mid-Term Review |
| 29 Feb. | Solution to Mid-Term ReviewProblems |
| 28 Feb. | Termination |
| 02 Mar. | Midterm Exam (solutions) |
| 07 Mar. | Structural Induction |
| 07 Mar. | Resolution Theorem Proving |
| 09 Mar. | Resolution Part 2 |
| 21 Mar. | Resolution Part 3 |
| 28 Mar. | Computability |
| 30 Mar. | Reducibility |
| 4 April. | Primitive and Partial Recursive Functions |
| 11 April. | Rice's Theorem |
| 13 April. | Recursion Theorem |
| 18 April. | Non-Determinism |
| 25 April. | More on Grammars, etc. |
| 27 April. | Pushdown Acceptors |
| 2 May | Final Review |
| 10 May | Final Exam (solutions) |