CSC 438F/2404F: Computability and Logic
Fall, 2006

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.

Announcements

Click here to see the 2006 final exam that you just wrote.

See the final exams for this course for 2005.ps and 2003.ps

Lectures: MW 10 in BA 2135

Tutorial: F10 in BA 2135

Tutor: Phuong Nguyen

Instructor: Stephen Cook , email: sacook@cs, 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.

Marking Scheme:

Click here for the course information sheet (.ps file).

Reference Link: Handbook of Proof Theory, Chapters I and II by Sam Buss

Other References:

Computability Text:
Michael Sipser: Introduction to the Theory of Computation . PWS, 1997.

Lecture Notes (.ps files) These will be posted before each section of the course. They will be minor revisions of the notes available from the
2005 438 web page .

Please send corrections and comments to the instructor.

Problem Sets (.ps files)
(See the 2005 438 web page for last year's problem sets.) Tests (.ps files)
See the 2005 438 web page for last year's tests and solutions.