| Date | Weekday | Topic | Reading | Lecture | Problem Set |
|---|---|---|---|---|---|
| March 29 | Tuesday | Introduction | Chapter 1 | Lecture 1 | Background test |
| 31 |
Thursday | Propositional Logic | Chapter 2, Chapter 3 | Lecture 2 | |
| April 5 | Tuesday | Propositional Proofs | Chapter 4 | Lecture 3 | |
| 7 |
Thursday | Propositional Resolution | Chapter 5 | Lecture 4 | Background test due and PS1 Released |
| 12 | Tuesday | Relational Logic | Chapter 6 | Lecture 5 | |
| 14 | Thursday | Relational Logic Semantics | Lecture 6 | PS1 Due | |
| 19 | Tuesday | Herbrand Method | Chapter 7 | Lecture 7 | |
| 21 | Thursday | Relational Proofs | Chapter 8 | Lecture 8 | PS2 Released |
| 26 | Tuesday | Unification | Chapter 9 | Lecture 9 | |
| 28 | Thursday | Relational Resolution | Lecture 10 | PS2 Due | |
| May 3 | Tuesday | Applications | Lecture 11 | ||
| 5 | Thursday | Strategies | Lecture 12 | PS3 Released | |
| 10 | Tuesday | Ordered Resolution | Chapter 10 | Lecture 13 | |
| 12 | Thursday | Epilog | Lecture 14 | PS3 Due | |
| 17 | Tuesday | Equality | Lecture 15 | ||
| 19 | Thursday | Induction | Lecture 16 | PS4 Released | |
| 24 | Tuesday | Information Integration | Integration | Lecture 17 | |
| 26 | Thursday | Review | PS4 Due, 4th Unit HW Due | ||
| 31 | Tuesday | Final Exam, 11am-12:15am, in class |