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 4/15) Homework (H3 sols posted 4/15)
Recordings (Updated 4/12)
The slides I used in Lectures 1 - 7. (This is a dynamic PDF file, now posted on google drive)
Apologies for cancelling the lecture on Wed., April 14; sad story, I'll explain.
I do not anticipate a problem with the Lecture on Friday, April 16, students will get an invite.
Lecture Notes.
Part 1, The propositional calculus PL (Typos corrected, 4/5)
Part 2, The lower predicate calculus with identity, LPCI
Part 3, The theorems of Tarski and Gödel. Don't rush me.
- It will be take home and open book.
You can use the Notes, the slides from the lectures, and any textbook or publically available material
You are not allowed to collaborate with anyone - The test will be based on Part 1 of the Notes, PL, the Propositional Calculus
-
Students will be given access to the test on gradescope at 8:00
AM PDT on Thursday, April 15;
you can choose what time to start work on it and are allowed to work for 1 hour after you start and before you turn it in, by 8:00 AM PDT no later than Friday, April 16.