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 (Nov 13) explanations/hints on Homework 3--see below
You can turn in HW3 by Wednesday, Nov 18, before noon. (But if you do not turn it in on Monday during tutorial, you will have to bring it to my office and slip it under my door by noon on Wednesday.)

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 4

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