Schedule
The course schedule is in progress and subject to change.
The most up-to-date version of this schedule while this course is
live is in the Google
docs spreadsheet.
Working notes (developed collaboratively with the students) are available on GitHub.
| Date |
Lecture Notes |
Reading |
Code |
Due |
|
| Sep 3 | Wed |
Welcome |
|
| Sep 8 | Mon |
Natural Deduction
|
| Sep 10 | Wed |
Harmony
|
|
| Sep 15 | Mon |
Sequent Calculus
|
| Sep 17 | Wed |
Cut and Identity
|
|
| Sep 22 | Mon |
Verifications and Uses
|
| Sep 24 | Wed |
Introduction to Focusing
|
|
| Sep 29 | Mon |
Logic Programming I
|
| Oct 1 | Wed |
Logic Programming II
|
|
|
(Friday)
HW 1: Natural Deduction |
|
|