| Date | Weekday | Topic | Reading | Lecture | Problem Set | |
|---|---|---|---|---|---|---|
| Oct. 1 | Tuesday | Introduction | Chapter 1 | Lecture 1 | Background test | |
| 3 | Thursday | Propositional Logic | Chapter 2, Chapter 3 | Lecture 2 | ||
| 8 | Tuesday | Propositional Proofs | Chapter 4 | Lecture 3 | Background test due | |
| 10 | Thursday | Propositional Resolution | Chapter 5 | Lecture 4 | PS1 Released | |
| 15 | Tuesday | Relational Logic | Chapter 6 | Lecture 5 | ||
| 17 | Thursday | Relational Logic Semantics | Lecture 6 | PS1 Due | ||
| 22 | Tuesday | Herbrand Method | Chapter 7 | Lecture 7 | ||
| 24 | Thursday | Relational Proofs | Chapter 8 | Lecture 8 | PS2 Released | |
| 29 | Tuesday | Unification | Chapter 9 | Lecture 9 | ||
| 31 | Thursday | Relational Resolution | Lecture 10 | PS2 Due | ||
| Nov. 5 | Tuesday | Applications | Lecture 11 | |||
| 7 | Thursday | Strategies | Lecture 12 | PS3 Released | ||
| 12 | Tuesday | Ordered Resolution | Chapter 10 | Lecture 13 | ||
| 14 | Thursday | Epilog | Lecture 14 | PS3 Due | ||
| 19 | Tuesday | Forward/Backward Chaining | Lecture 15 | |||
| 21 | Thursday | Equality | Lecture 16 | PS4 Released | ||
| 26 | Tuesday | Specialized Procedures | Lecture 17 | |||
| 28 | Thursday | Thanksgiving! | ||||
| Dec. 3 | Tuesday | Review | PS4 Due | |||
| 5 | Thursday | Contest | ||||
| 12 | Thursday | Final Exam, 3:30pm, Location TBA |