15-317 Constructive Logic
Handouts

Handout and notes for individual lectures can be found on the schedule or with the summary for each lecture.

Date	Handout	Note

Sep 27, 2009	Midterm 1, 15-317 Fall 2008	Contains some topics not covered in the Fall 2009 edition of the course
Oct 7, 2009	Midterm 1 Solution (Fall 2009)	Median score was 126; average score was around 125

Nov 2, 2009	Midterm 2, 15-317 Fall 2008	Contains some topics already covered in Midterm 1, Fall 2009
Nov 10, 2009	Midterm 2 Solution (Fall 2009)	Median score was 94; average score was around 90

Dec 7, 2009	Final Exam, 15-317 Fall 2008	All problems are representative except Problem 7 on lax logic