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 AE, 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.