CSC 438/2404: Computability and Logic
Fall, 2009

Students should consult this page at least once a week for important information.

**NEW ANNOUNCEMENTS**

The final exam has been posted -- Dec 18, 2-5pm, WI1017, WI = Wilson Hall, 40 Wilcocks Street
***UPDATED (Dec 16) Extra Office hours tomorrow, Thursday Dec 17, 1-2pm, BA3201 You can pick up your homework then.


Lectures: Friday 9-11 MP 118, Tutorial Monday 10-11 MP 118

Instructor: Toniann Pitassi, email: toni@cs
Office: Sandford Fleming 2305A, 978-3695
Office Hours: Friday 11-12

Text: There is no required text for this course. A supplementary textbook that may be helpful is E. Mendelson: Introduction to Mathematical Logic, Wadsworth and Brooks/Cole, 1987.

Tutor: Kaveh Ghasemloo, kaveh@cs

Course Information Sheet

HOMEWORK ASSIGNMENTS:


• Homework 1
• Homework 1 Solutions
• Homework 2
• Homework 2 Solutions
• Homework 3
• Homework 3 comments
• Homework 3 Solutions
• Homework 4
• Homework 4 comments
• Homework 4 Solutions

EXAMS:


• Midterm Test
• HW1 and Midterm Grades

OLD EXAMS:


• Final Exam 2009
• Final Test 2008

COURSE NOTES:


• Notes Propositional Calculus
• Notes Predicate Calculus
• Notes Completeness of LK
• Notes Herbrand Theorem
• Notes Computability Theory
• Notes Recursive and RE Sets
• Notes Incompleteness and Undecidability
• Notes Peano Arithmetic
• Notes Godel's Incompleteness Theorems

OLD COURSE NOTES (2006):


• Notes pp1-17 Propositional Calculus
• Notes pp18-30 Predicate Calculus
• Notes pp31-38 Completeness of LK for Predicate Calculus
• Notes pp39-51 Herbrand Theorem, Equality Axioms, Compactness
• Notes pp52-68 Computability Theory
• Notes pp69-80 Recursive and Recursively Enumerable Sets
• Notes pp81-93 Incompleteness and Undecidability
• Notes pp94-106 Peano Arithmetic
• Notes pp107-110 Godel's Incompleteness Theorems

SUPPLEMENTARY NOTES AND SLIDES FOR RESOLUTION:


• Propositional Resolution
• First Order Resolution
• Slides for First Order Resolution
• Slides for First Order Resolution

SUPPLEMENTARY READING


• Proof Theory Chapters by Sam Buss
• Notes on Unification by Sam Buss