| Week | Date | Topic | Lectures | Homework |
| 1 | 1/21 | Propositional Logic I | ps pdf | ps pdf |
| 2 | 1/28 | Propositional Logic II | ps pdf | ps pdf |
| 3 | 2/4 | Satisfiability | ps pdf | ps pdf |
| 4 | 2/11 | Binary Decision Diagrams (BDD's) | ps pdf | ps pdf |
| 5 | 2/18 | Symbolic Model Checking | ps pdf | |
| 6 | 2/25 | Symbolic Trajectory Evaluation | ps pdf | ps pdf |
| 7 | 3/4 | Bounded Model Checking | ps pdf | |
| 8 | 3/11 | First-Order Logic I | ps pdf | ps pdf |
| 9 | 3/25 | First-Order Logic II | ps pdf | ps pdf |
| 10 | 4/1 | First-Order Logic III | ps pdf | |
| 11 | 4/8 | Theories and Decidability | ps pdf | |
| 12 | 4/15 | Combining Decision Procedures I | ps pdf | |
| 13 | 4/22 | Combining Decision Procedures II | ps pdf | |
| 14 | 4/29 | Combining SAT with First-Order Decision Procedures | ps pdf |