Room and Time
Offices: MS 7935 and Dodd 355
Office hours: M 2:30-3:30 in Dodd 355; W 2:00-3:00 in Dodd 355; F 11:30-12:30 in Dodd 355
Email Address: firstname.lastname@example.org
Final Exam (50%)
Homework will be assigned on (almost every) Wednesday and will normally be due the next Wednesday by 5:00 PM. The homework assignments will be posted on this webpage. No late homework will be accepted, but one or even two missed homework assignments will not have a serious effect on the course grade.
The Exam is due by Friday, March 19.
The text for 220A and 220B is a small variant of a set of notes written by Yiannis Moschovakis. These notes will be distributed gradually over the course of the quarter. Here are links to the notes that have been distributed:
Mathematics 220B is the second quarter of a three-quarter introduction to mathematical logic.The first part of 220A was an be an introduction to first order logic: semantics, formal deduction, and relations between the two. This part of the course culminated with the fundamental Completeness, Compactness, and Skolem-Löwenheim Theorems. The latter part of the quarter was devoted to model theory. The part of the course notes covered was Chapter 1 and the first three sections of Chapter 2. 220B will be mainly devoted to incompleteness theorems and computability theory (formerly called recursion theory). In preparation for the first one or two lectures, students to might review Sections 1D and 1E of the notes.