| Date | Weekday | Topic | Reading | Lecture | Problem Set |
|---|---|---|---|---|---|
| September 27 | Tuesday | Introduction | Chapter 1 | Lecture 1 | |
| 29 |
Thursday | Propositional Logic | Chapter 2, Chapter 3 | Lecture 2 | |
| October 4 | Tuesday | Propositional Proofs | Chapter 4 | Lecture 3 | |
| 6 |
Thursday | Propositional Resolution | Chapter 5 | Lecture 4 | PS1 Released |
| 11 | Tuesday | Relational Logic | Chapter 6 | Lecture 5 | |
| 13 | Thursday | Relational Logic Semantics | Lecture 6 | PS1 Due | |
| 18 | Tuesday | Herbrand Method | Chapter 7 | Lecture 7 | |
| 20 | Thursday | Relational Proofs | Chapter 8 | Lecture 8 | PS2 Released |
| 25 | Tuesday | Resolution Preliminaries | Chapter 9 | Lecture 9 | |
| 27 | Thursday | Resolution Theorem Proving | Lecture 10 | PS2 Due | |
| November 1 | Tuesday | Strategies | Lecture 11 | ||
| 3 | Thursday | Ordered Resolution | Lecture 12 | PS3 Released | |
| 8 | Tuesday | Equality I | Lecture 13 | ||
| 10 | Thursday | Equality II | Lecture 14 | ||
| 15 | Tuesday | Equality III | Lecture 15 | ||
| 17 | Thursday | Equality IV | Lecture 16 | PS3 Due, PS4 Released | |
| 22 | Tuesday | Thanks Giving - no class | |
|
|
| 24 | Thursday | Thanks Giving - no class | |
|
|
| 29 | Tuesday | Usee of Logic in Computational Understanding of English |
Lecture 17 | ||
| December 1 | Thursday | Logical Spreadsheets | Lecture 18 | PS4 Due | |
| 6 | Tuesday | Review | Lecture 19 | ||
| 8 | Thursday | In-Class Exam, 2:45-4:00pm, in class (closed book) |