You may pick up your PS 4 during office hours Monday 3-4pm
See Marker's Comments for PS 4 below.
Term marks (including PS 4) are now posted on the secure CDF website
Solutions to Problem Set 4 are posted below.
Click here for the 2008 final
exam for CSC 438H/2404H.
(NOTE: The exam is a bit long -- this year's will be shorter.)
Chapter's I and II in Logical Foundations of Proof Complexity
by Cook and Nguyen
(available on line through the U of T library) closely follows pp 1 - 52 in the Notes.
Accessibility Services requests a volunteer note-taker for this course.
Current background reading
Final Lecture Wednesday, April 2 (there will be a tutorial Friday)
We will present Godel's Incompleteness Theorems (notes pp 109 -- 112).
Lectures: MW 2 in BA 1220
Tutorial: F2 in BA 1220
Tutor: Bahar Aameri
Office: Sandford Fleming 2303C, 416-978-5183
Office Hours: MF 3:15 - 4:00 Or make an appointment, or drop in.
QUESTIONS VIA EMAIL ARE WELCOME.
Text: None. See Lecture Notes below.
Reference Link: Handbook of Proof Theory, Chapters I and II by Sam Buss
Please send corrections and comments to the instructor.
Link to CSC 438/2404 2008 website
Problem Sets (.pdf files)