# MATH 502: Mathematical Logic

## Fall 2017

Instructor: Dima Sinapova

Class Meets: MWF 1:00 - 1:50 in TH 313

Office: 421 SEO

Office Hours: MW 11-12

phone: (312)-996-2371

e-mail: sinapova@math.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:
- Language, theories and models

- Completeness and Compactness theorems

- Introduction to computability

- Godel's Incompleteness theorem

### 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