| 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 |