| Date | Weekday | Topic | Reading | Lecture | Problem Set |
|---|---|---|---|---|---|
| September 26 | Tuesday | Introduction | Chapter 1 | Lecture 1 | |
| 28 |
Thursday | Propositional Logic | Chapter 2, Chapter 3 | Lecture 2 | |
| October 3 | Tuesday | Propositional Proofs | Chapter 4 | Lecture 3 | |
| 5 |
Thursday | Propositional Resolution | Chapter 5 | Lecture 4 | PS1 Released |
| 10 | Tuesday | Relational Logic | Chapter 6 | Lecture 5 | |
| 12 | Thursday | Relational Logic Semantics | Lecture 6 | PS1 Due | |
| 17 | Tuesday | Herbrand Method | Chapter 7 | Lecture 7 | |
| 19 | Thursday | Relational Proofs | Chapter 8 | Lecture 8 | PS2 Released |
| 24 | Tuesday | Resolution Preliminaries | Chapter 9 | Lecture 9 | |
| 26 | Thursday | Resolution Theorem Proving | Lecture 10 | PS2 Due | |
| October 31 | Tuesday | Applications | Lecture 11 | ||
| November 2 | Thursday | Strategies | Lecture 12 | PS3 Released | |
| 7 | Tuesday | Ordered Resolution | Lecture 13 | ||
| 9 | Thursday | Epilog | Lecture 14 | PS3 Due |
|
| 14 | Tuesday | Equality I | Lecture 15 | ||
| 16 | Thursday | Equality II | Lecture 16 | PS4 Released | |
| 21 | Tuesday | Thanksgiving - no class | |
|
|
| 23 | Thursday | Thanksgiving - no class | |
|
|
| 28 | Tuesday | Use of Logic in Computational Understanding of English |
Lecture 17 | ||
| 30 | Thursday | Logical Spreadsheets | Lecture 18 | PS4 Due | |
| December 5 | Tuesday | General Game Playing | Lecture 19 | ||
| 7 | Thursday | Final exam review session | |||
| 14 | Thursday | Final exam (7pm - 10pm) Location: Gates B03 |