**Instructor**: Yiannis N. Moschovakis, MS 6240, ynm@math.ucla.edu, www.math.ucla.edu/~ynm

**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)

_{1},...,t

_{n})) = FO(t

_{1}) ∪ ... ∪ FO(t

_{n}).

**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.