Problem Set 3 is now posted below (Due March 14).
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
Lecture Wednesday, Feb 12:
Continue Computability Theory.
Notes up to page 60.
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)