Solutions to PS 4 are now posted below. Students did well: The average mark was 27.8/35. Seven students got perfect papers (out of 23 students total).
A good way to study for the final exam is to practice on previous final exams for the course.
The online course evaluation forms are now available -- PLEASE fill them out.
The online TA evaluations form is now available at https://www.teach.cs.toronto.edu/taeval/ [www.teach.cs.toronto.edu]
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 2106
Tutorial: F12 in SS 2106
Tutor: Lalla Mouatadid
Stephen Cook ,
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)
Click here for last year's CSC 438h, including problems sets and tests.