MATH 502: Mathematical Logic

Fall 2019


Instructor: Dima Sinapova

Class Meets: MWF 1:00 - 1:50 in LH 100
Office: 421 SEO
Office Hours: W 11-1
phone: (312)-996-2371
e-mail: sinapova@uic.edu

Description

This is a first year graduate class in logic. We will go over the basics of model theory and computability, and cover the completeness and incompleteness theorems. Here is a breakdown of topics:

Homework and grading

There will be regular homework assignments, which will be posted online.

Lecture notes

We will be mostly using Dave Marker's notes 502 lecture notes