Mathematics 27800 / Computer Science 27800: Mathematical Logic II, Winter 2024

TTh 12:30 - 1:50 in Eckhart 312

Webpage: www.math.uchicago.edu/~drh/278.html

Instructor: Denis Hirschfeldt
drh@uchicago.edu
He/Him/His
Office hours: M 1:00-2:00 and W 3:30-4:30

College Fellow: Duarte Maia
dmaia@uchicago.edu
He/Him/His
Office hours:
   Tuesday, Ryerson 178: Problem Session 3:30 to 4:20, followed by Office Hours until 4:50
   Thursday, Ryerson 253-B: Office Hours 3:30 to 4:50

Grades for this course will be based on weekly homework assignments. There will be no exams. Late homework will generally not be accepted, but the lowest grade will be dropped. Some homework questions will be labelled as "take home exam questions". These must be worked out individually, without consultation with other students or anyone else. It is fine to ask me clarifying questions about these problems. For all other problems, collaboration is encouraged, but each person should write their own solutions independently.

Homework assignments will be posted on the course webpage, but should be handed in via Canvas. I don’t plan to use Canvas otherwise.

Please let me know as soon as possible if you require any accomodations for this course. I'll be happy to discuss that whether or not you've gone through the Student Disability Services process.