See last year's problem sets and midterm test at bottom of page.
Lectures: MW 4 in MP 134
Tutorial: F12 in MP 134 (No tutorial Sept 8)
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.
The work you submit must be your own. You may discuss problems with each other; however, you should prepare written solutions alone. Copying assignments is a serious academic offence and will be dealt with accordingly.
Click here for the course information sheet
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.
Reference Link: Handbook of Proof Theory, Chapters I and II by Sam Buss
Problem Sets (.pdf files)
LAST YEAR's Problem Sets (.pdf files)