Final marks for undergraduates have been submitted.
They are posted on the secure CDF web site.
(Grad students may send me an email to find out their marks.)
There was a large variation on the final exam marks.
Three students got 100%, while five students got below 10%.
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.
Lectures: MW 4 in SS 1085
Tutorial: F12 in SS 1085
Tutor: Robert Robere
Office: Sandford Fleming 2303C, 416-978-5183
Office Hours: MW 5:15 - 6: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)