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,sol||Tue 09/08|
|Asst 1||40||Deduce, naturally||code,sol||Tue 09/15|
|Asst 2||40||Come to terms with proofs||code,sol||Tue 09/22|
|Asst 3||40||Pirates and quantifiers||code,sol||Tue 09/29|
|Asst 4||20||Intuitions, classically and classical intuitions||code,sol||Tue 10/06|
|Asst 5||40||Calculuate in sequents||code,sol||Tue 10/13|
|Asst 6||40||Dependent types cut in||code,sol||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.