Mathematical Logic I

Math 5260 › Spring 2018

General Info

Instructor: Damir Dzhafarov
Office: MONT 441
Office hours: By appointment.
Lectures: Mondays, Wednesdays, Fridays, 11:15am–12:05pm, in HALL 104.
Text: Mathematical Logic for Mathematicians by Joseph R. Mileti. (PDF, distributed by email.)

Tentative schedule

(Subject to change. Please check back frequently.)

Week 1: no class.

Week 2: Chapter 2.

Homework 1, due Friday, February 2.

Week 3: Chapters 2, 3.

Homework 2, due Monday, February 12.

Week 4: Chapters 3.

Homework 3, due Monday, February 19.

Week 5: Chapters 3.

Week 6: Chapters 4.

Homework 4, due Friday, March 2.

Week 7–8: Chapters 4.

Week 9: Spring break.

Week 10: Section 5.1, Section 6.1.

Homework 5, due Friday, March 30.

Weel 11: Sections 6.2 and 6.3.

Week 12: Section 6.3, Sections 12.1 and 12.4.

Homework 6, due Friday, April 27.

Week 13: Chapter 12.

Week 14: proof of incompleteness.

Homework 7, due Friday, May 4.


Homework will be assigned roughly each Monday, and due in class on Friday of the following week. Students are welcome and encouraged to work together, but each student must write up and submit their own solutions.


The course grade will be the average of the homework sets (75%), and the take-home final exam (25%).


The course follows the University's syllabus policy.

No make-up exams will be given and no late homework will be accepted.

All students are expected to abide by the University's Community Standards at all times.