**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.