All marks are now posted on the secure CDF web site.
Your unofficial final mark for the course is named finl.
Grad students can see me to pick up your final exam.
Curious for another look at your final exam?
Click here for the 2014 final exam for CSC 438H/2404H.
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.
Problem Sets (.pdf files)