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:
- 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/17
- Midterm 2: Monday 4/7
- Final Exam: Monday 5/5, 1:00-3:00pm
Homework
- Homework 1. Section 1.1: #2, 5; Section 1.2: # 1, 2, 5, 7, due Friday 1/24
- Homework 2. Section 1.2: #9, 10ab, 12; Section 1.5: # 2, 6, due Monday 2/3
- Homework 3. Section 1.5: #12; Section 1.7: # 3, 5, 6, 7, 12 due Wednesday 2/12
- Homework 4. Section 2.1: #1, 3, 5; Section 2.2: # 2, 3, 4 due Wednesday 2/26
- Homework 5. Section 2.2: #8, 9, 11; Section 2.4: # 2, 6, 12 due Wednesday 3/5
- Homework 6. Section 2.4: #7, 8, 15, 16; Section 2.5: # 1 due Friday 3/14
- Homework 7. Section 2.5: #2, 6, 7; Section 2.6: # 1 due Friday 3/21
- Homework 8. Section 2.6: # 2, 3, 8 and problem due Wednesday 4/9