##
Math 571: Mathematical Logic (Fall 2015)

### Office hours

403 Van Vleck Hall

Monday, Wednesday, Friday 9:55-10:45

### Course textbook

We will mainly be following *A Mathematical Introduction to Logic, Second Edition* by Herbert B. Enderton, ISBN 978-0122384523. Here you can find a set of lecture notes about natural deduction, which will be updated throughout the semester.

### Exams

There will be two midterms and one final exam. The grade will be comprised of the two midterms (20% each), the final (40%) and the homework assignments (20%).

- First midterm: October 7, 5:30-6:30 p.m., Social Sciences 6240. Material: chapter 1 of Enderton, except section 1.3 (except the part on Omitting Parentheses), section 1.6, pages 51–52 and pages 61–65.
- Second midterm: November 11, 5:30-6:30 p.m., Social Sciences 6240. Material: sections 2.1 and 2.2 from Enderton, the topics discussed in the syllabus, and section 2.6 up to and including page 150.
- Final: December 18, 12:25-2:25 p.m., Van Vleck B115. Material: the materials listed for the first and second midterms, Section 3.1, Section 3.3 up to page 206, Section 3.4 up to page 225, how to assign a number to a proof tree, the fact that every decidable relation is representable in A
_{E}, Section 3.5 up to middle of page 238.

### Homework

Homework will be assigned every week on Friday at the beginning of the lecture, and is due the next Friday, again at the beginning of the lecture. **No** credit will be given for late homework, except in case of illness or family emergency.

- Homework set 1, due 9/11
- Homework set 2, due 9/18
- Homework set 3, due 9/25
- Homework set 4, due 10/2
- Week 5: no homework, study for the midterm!
- Homework set 6, due 10/16
- Homework set 7, due 10/23
- Homework set 8, due 10/30
- Homework set 9, due 11/6
- Week 10: no homework, study for the midterm!
- Week 11: no homework.
- Homework set 12, due 11/30
- Homework set 13, due 12/7

### Policies

Please check the following handout for more details regarding class policies.