Exclusions: MAT 309H, PHL 348H
Prerequisites for undergraduates: (CSC363H1/CSC463H1)/CSC365H1/CSC373H1/ CSC375H1/MAT247H1)
Announcements
Final marks have been submitted.
Grad students can pick up their final exam from my office (when I am in).
Students may email me to find their exam (and final) marks.
Lectures: MW 4 in MP 134
Tutorial: F12 in MP 134
Tutor: Robert Robere
Instructor:
Stephen Cook ,
email: sacook@cs.toronto.edu
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.
Marking Scheme:
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
Lecture Notes
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
Other References:
Problem Sets (.pdf files)