The Undergrad Announcements (UGA) website contains announcements about things of importance to students, such as job and scholarship opportunities, academic and social events, and reminders of administrative deadlines.
Sorry -- there seems to be a bug in the script that allows you to find your mark.
Click here to check unofficial final marks.
Your unofficial final mark is labelled "finl". For grad students, convert to a letter grade using the standard conversion table, given in the grad calendar.
Click here to see the final exam.
(Grad students may pick up their marked final exams.)
Lectures: MW 10 in SS 1088
Tutorial: F10 in SS 1088
Tutors: Dustin Wehr and Kaveh Ghasemloo
Office: Sandford Fleming 2303C, 416-978-5183
Office Hours: MW 11:15-12: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
Lecture Notes (.ps files) These will be posted before each
section of the course. They will be minor revisions of the notes available
2006 438 web page .
Please send corrections and comments to the instructor.