ScheduleThere may be occasional supplemental handouts on lecture material, but you are expected to attend and take notes.
|HW 0||10||Say hi to logic||code,sol||Tue 09/06|
|HW 1||40||Deduce, naturally and harmoniously||code,sol||Tue 09/13|
|HW 2||40||Come to terms with proofs||code,sol||Tue 09/20|
|HW 3||40||Quantify proofs with data||code,sol||Tue 09/27|
|HW 4||40||Calculuate in sequents||code,sol||Tue 10/11|
|HW 5||40||Propositional theorem proving||code,sol||Tue 10/18|
|HW 6||40||Sequential quantifiers and being logical about programming||code||Tue 10/25|
|HW 7||40||Practicing prolog programming||code||Tue 11/01|
|HW 8||20||Programming logically||code||Tue 11/08|
|HW 8½||20||Programming more logically||code||Tue 11/15|
|HW 9||40||Forward logic programming||code||Thu 12/01|
|HW 10||30||Let's be linear||code||Thu 12/08|
The Assignment Schedule is tentative!
Homework assignments are due at start of lecture on the due day.