MATH 430: Formal Logic I
Spring 2015
Instructor: Dima Sinapova
Class Meets: MWF 1:00 - 1:50 in AH 303
Office: 421 SEO
Office Hours:
phone: (312)-996-2371
e-mail: sinapova@math.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
Homework
- Homework 1. Section 1.1: #2, 5; Section 1.2: # 1, 2, 5, 7, due Friday 1/23
- Homework 2. Section 1.2: #9, 10ab, 12; Section 1.5: # 2, 6, due Monday 2/2
- Homework 3. Section 1.5: #12; Section 1.7: # 3, 5, 6, 7, 12, due Monday 2/9
- Homework 4. Section 2.1: #1, 3, 5; Section 2.2: # 2, 3, 4 due Wednesday 2/18
- Homework 5. Section 2.2: #8, 9, 11; Section 2.4: # 2, 6, 12 due Monday 3/2
- Homework 6. Section 2.4: #7, 8, 15, 16; Section 2.5: # 1 due Wednesday 3/11
- Homework 7. Section 2.5: #2, 6, 7; Section 2.6: # 1 due Wednesday 3/18
- Homework 8. Section 2.6: # 2, 3, 7, 8 due Friday 4/3