Math 160A - Mathematical Logic
Winter 2002.  UCSD.  Instructor S. Buss

Organizational items

Textbook: H. Enderton, A Mathematical Introduction to Logic, Second Edition, Harcourt - Academic Press 2001.  Make sure you get the second edition, not the first edition.  The second edition's publication date is listed variously as 2000 or 2001.

Syllabus: First quarter: The plan is to cover propositional and first-order logic, up through the soundness and completeness theorems.  Our approach is mathematical, but we will also consider applications to philosophy, and especially to computer science. 
    Second quarter: I hope to cover the completeness theorem, rcomputability, and the incompleteness theorem.

Prerequisites: Math 100A or 103A.   However, there are no particular mathematical prerequisites beyond a certain level of "mathematical maturity".  If you lack the formal prerequisites please talk to me about enrolling in the course.

Grading: Homeworks, quizes, one midterm and final exam.  Midterm will be approximately 25% of the course grade, and the final exam approximately 40% of the course grade. 

Course participation:  First quarter: While not it is not strictly speaking required, it is HIGHLY recommended that you attend lectures faithfully.  This is even more important now that we have switched formats to having a lot proofs presented by students!!
    Second quarter: Attendance is required.  Two free passes allowed.

Theorem proving.  Guidelines for proof presentations by students.

Main web page for Math 160A.