Instructor: Yiannis N. Moschovakis, MS 6240, ynm@math.ucla.edu, www.math.ucla.edu/~ynm
Teaching Assistant: Aaron Anderson, aaronanderson@math.ucla.edu, www.math.ucla.edu/~aaronanderson
Lectures : Monday - Wednesday - Friday, 9:00 - 9:50, online
Discussion Section: Thursday, 9:00 - 9:50, online
Conference Hours of Moschovakis, tentative: M: 7:15 - 8:15 PM, F: 10:00 - 11:00 AM and by appt.
Conference Hours of Aaron, tentative: T, 2:00 - 3:00
Requisites: 110A or 131A or Philosophy 135 or consent of the instructor.
Basic information Log of lectures (updated 6/04) Homework (Solutions to H9 posted)
Recordings (Updated 6/04) Solved 1st midterm Solved 2nd midterm
The slides I used in Lectures 1 - 28. (This is a dynamic PDF file, now posted on google drive)
Lecture Notes.
Part 1, The propositional calculus PL (Typos corrected, 4/5)
Part 2, The lower predicate calculus with identity, LPCI. (Typos corrected, 4/20)
One-page summary of the proof system for LPCI.
Part 3, The theorems of Tarski and Gödel.
Note. For Parts 2 and 3, it will cause no confusion to consult a textbook for students who feel the need to do this. There are many good texts; among those I know, my favorite is A mathematical introduction to logic, by Herbert, B. Enderton.
Note about the Conference Hours of Moschovakis: If nobody shows up in the first 15 minutes, I will log off and go for coffee; so if you want to talk with me but cannot come in the first 15 minutes of a regular, scheduled Conference hour, send me email.