| Notes | Date |
| Propositional Logic - Basics | January 14 and January 16 |
| Propositional Logic - Advanced | January 16 and January 18 |
| Propositional Logic - Substitutions and Normal Forms | January 23 |
| Propositional Logic - Decision Procedures | January 28 |
| First Order Logic - Syntax and Semantics | January 28, February 4, February 6 |
| First Order Logic - Satisfiability and Validity | February 6, February 13 |
| First Order Logic - Substitutions and Normal Forms | February 13, February 15 |
| First Order Theories - Basic Concepts | February 22 |
| The Theory of Equality | February 22 |
| The Theory of Natural Numbers | February 22, March 1, March 4 |
| The Theories of Rationals and Reals | March 4 |
| The Theory of Recursive Data Structures | March 8 |
| The Theory of Arrays | March 8 |
| Combination Theories | March 11 |
| Induction - Fundamentals | March 18 |
| Induction - Stepwise Induction | March 18, March 20 |
| Induction - Complete Induction | April 1 |
| Induction - Structural Induction | April 1, April 3 |
| Induction - Well-Founded Induction | April 3 |
| Notes | Date |
| Homework I | January 31 |
| Homework II | February 28 |
| Homework III | April 3 |
| Homework IV | May 1 |