Mathematics 114L, Mathematical Logic, Spring 2017

Instructor: Yiannis N. Moschovakis, MS 6240,,
Teaching Assistant: Tyler Arant, MS 2361.
Lectures : Monday - Wednesday - Friday, 10:00 - 10:50, MS 5127
Discussion Section: Tuesday, 10:00 - 10:50, MS 5127
Conference Hours of Moschovakis : M : 11:00 - 12:00, W : 12:00 - 1:00, F : 11:00 -12:00
   and by appointment (talk to me or email me)
Conference Hours of Tyler: M : 2:30 - 4:00.
Requisites: 110A or 131A or Philosophy 135 or consent of the instructor.

Visit this page often for Homework assignments, the log of lectures, etc.

Basic information          Log of lectures (updated 6/3)          Homework (Optional #8 posted)

The Lecture Notes.
Part 1, The propositional calculus PL.
Part 2, The lower predicate calculus with identity, LPCI.
         Correction. In the definition of the free occurrences of variables in a formula, one of the (two) cases for prime formulas is missing in part (a) of Definition 2C: it is the (obvious)
FO(R(t1,...,tn)) = FO(t1) ∪ ... ∪ FO(tn).
Part 3, The theorems of Tarski and Gödel.

Additional problems. Some of the Homework assignments will ask for Problems, a1, a2, ... in this file. Hints added on Wed 4/19/17.
Solved first midterm          Solved second midterm
The final will be given on Wednesday, June 14, 3:00 - 6:00 PM in our class.
It will be about as difficult as the midterms and as long as the two of them put together, but you will have 3 hours to do it, so there should not be any time pressure.
It will contain a copy of Theorem 3J.1 (which you will need) and also a copy of Hilbert's proof system for LPCI (on p. 29 of Part 3 of the notes), although you will not be asked to produce precise, formal proofs.
You can get an idea of the kind of problems in the final from this copy of last year's final. Solution of the most difficult problem 5b here

Conference hours in finals week: Monday, 1:00 - 3:00 and Tuesday, 3:00 - 5:00. I can make appointments after 3:00 on Monday and between 10:00 and 1:00 on Tuesday, send me email.