MATH 430: Formal Logic I

Spring 2014


Instructor: Dima Sinapova

Class Meets: MWF 1:00 - 1:50 in AH 302
Office: 421 SEO
Office Hours:
phone: (312)-996-2371
e-mail: sinapova@math.uic.edu

Text:

Description

This course will cover first order syntax and semantics, compactness, completeness, and the incompletenes theorems.

Grading

There will be two midterms (20% each) and one final (30%), and regular homework assignments (30%). The homeworks will be posted online.

Exams

Homework