ScheduleThere may be occasional supplemental handouts on lecture material, but you are expected to attend and take notes.
|Asst 0||10||Say hi to logic||code||Tue||09/08|
|Asst 1||40||Deduce, naturally||code||Tue||09/15|
|Asst 2||40||Come to terms with proofs||code||Tue||09/22|
|Asst 3||40||Pirates and quantifiers||code||Tue||09/29|
|Asst 4||20||Intuitions, classically and classical intuitions||code||Tue||10/06|
|Asst 5||40||Calculuate in sequents||code||Tue||10/13|
|Asst 6||40||Dependent types cut in||code||Tue||10/20|
|Asst 7||40||Inversion for proof search||code||Thu||10/29|
|Asst 8||40||Programming logically||code||Wed||11/18|
|Asst 9||40||Forward-looking prolog||code||Thu||12/03|
|Asst 9½||10||Exam reviewing||Tue||12/08|
|Asst 10||40||Linearized logic and logical linearities||code||Thu||12/10|
The Assignment Schedule is tentative!
Homework assignments are due at start of lecture on the due day.