MATH 430: Formal Logic I
Spring 2022
Instructor: Dima Sinapova
Class Meets: MWF 1:00 - 1:50 in LH 107
Office: 421 SEO
Office Hours:
phone: (312)-996-2371
e-mail: sinapova@uic.edu
Text:
- Herb Enderton, A Mathematical Introduction to Logic, Second edition
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
- Midterm 1: Monday, 2/14
- Midterm 2: Friday, 4/8
- Final Exam: Monday 5/2, 1:00-3:00pm
Some notes
Homework
- Homework 1. Section 1.2: # 1, 2, 5, 7, Section 2.1/1, 3, 5 due Friday 1/28
- Homework 2. Section 2.2/2, 3, 4, 8, 9, 11 due Wednesday 2/9
- Homework 3. Section 2.2/12ab, 15, Section 2.4/2,6,7,8 due Friday 2/25
- Homework 4. Section 2.2/16, Section 2.4/12, 15(b), 17(a) Section 2.5/2,7 due Wednesday 3/9
- Homework 5. Section 2.5/6,8 Section 2.6/3,4,7,8 due Monday 3/28