Math 430: Formal Logic.


Instructor: Sherwood Hachtman
e-mail: hachtma1 at uic dot edu
Lectures: 2pm-2:50pm in Adams Hall 302
Office hours: 3-4pm in SEO 616

For details about grade breakdown and structure of the course, please see the syllabus
Course text: Robert S. Wolf, A Tour through Mathematical Logic, MAA Press 2005.
We will cover most of the material in Wolf's text through section 5.3; the readings below refer to the sections in Wolf.

Week Material covered Homework Review and Solutions
1 - 1/17-1/20

1.1-1.2.

Homework 1, due February 2.

Solutions to HW 1
2 - 1/22-1/26

1.3-1.4; 5.1.

 
3 - 1/29-2/2

5.2; 1.5-1.6.

Homework 2, due February 9.

Solutions to HW 2
4 - 2/5-2/9

2.1-2.3.

 
5 - 2/12-2/16

2.3-2.4.

Homework 3, due February 23.

Solutions to HW3
6 - 2/19-2/23

2.3; Review.

Homework 4, due March 2 March 9.

Solutions to HW 4; Review problems: Sets, functions, equivalence relations
7 - 2/26-3/2

Midterm Review. Midterm 1: Friday 3/2.

Review problems: Propositional and first order logic; cardinality
8 - 3/5-3/9

2.4-2.5.

Homework 5, due April 2.

Solutions to HW 5;

9 - 3/12-3/16

5.3.

 
10 - 3/19-3/23

3.1-3.2.

Homework 6, due April 6 April 9.

Solutions to HW 6;

Spring Break

11 - 4/2-4/6

3.3.

 
12 - 4/9-4/13

3.4; Midterm 2 Friday 4/13.

Review problems for second midterm
13 - 4/16-4/20

3.1-3.2.

Homework 7, due April 27.

 
14 - 4/23-4/27

3.2-3.3.

Homework 8, due May 4.

Hints for proof problems from second midterm; Review problems 4.
15 - 4/30-5/4.

4.1-4.4.

 

Final Exam: Wednesday May 9, 1:00-3:00 PM