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


[ Home | Schedule | Assignments | Handouts | Software ]

fp@cs
Frank Pfenning