# 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