Room and Time
MS 5233
MWF 10:00-10:50
Instructor
D.A. Martin
Offices: MS 7935 and Dodd 355
Office hours: Monday 2:30-3:30 in Dodd 355; Wednesday 2:00-3:00 in Dodd 355; Friday 11:30-12:30 in MS 7935.
Email Address: dam@math.ucla.edu
Grading
Homework (50%)
Final Exam (50%)
Homework will be assigned on (almost each) 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.
Text
The text for 220A and 220B will be a slight variant of a set of notes written by Yiannis Moschovakis. These notes will be distributed gradually over the course of the quarter. At any time, the portion of the notes that have been distributed will be posted here.
Content
Mathematics 220A is the first quarter of a three-quarter introduction to mathematical logic. The first part of 220A will be an introduction to first order logic: semantics, formal deduction, and relations between the two. This part of the course will culminate with the fundamental Completeness, Compactness, and Skolem-Löwenheim Theorems. The latter part of the quarter will be devoted to model theory.
Homework