# Leonard M Lipshitz

MA 58500, Fall 2017

Text:
Introduction to Mathematical Logic by Elliott Mendelson, Sixth Edition, CRC Press
The course will cover most of the material in chapters 1,2 and 3, and some additional topics if time permits.
If you already have the fifth edition that should be OK.
A scan of the first 35 pages of the fifth edition is available on the MA58500 Blackboard page.
Homework 1, below, is based on that scan.

Lectures:
TuTh 9:00 - 10:15 UNIV 101

Office Hours (MATH 722):
 Tuesday 10:20 - 11 Wednesday 3:30 - 5:00

 HW 25% 1 midterm 30% Final 45%

Homework:
Assigned every day, due at the beginning of class on Thursdays unless otherwise announced

Homework 1. Due Thursday, August 24
Problems 1.4a,b,c; 1.5c,d; 1.6b,c; 1.11; 1.19d,e; 1.21; 1.22a,b; 1.27a,b

HW 2 due Thursday, August 31:
1.31; 1.33i; 1.35b; 1.38; 1.45; 1.46; 1.48a,f; 1.50

HW 3 due Thursday, September 7:
2.6a,e; 2.8a,e,l,m; 2.9a,b,d; 2.10; 2.11a,b; 2.12X

HW 4 due Thursday, September 14:
2.13; 2.14a,f; 2.15a; 2.17a; 2.18e; 2.21a,h; 2.25; 2.26; 2.27a

HW 5 due Thursday, September 28:
2.31a,f; 2.34; 2.36b; 2.38; 2.44; 2.50 D ; 2.53; 2.54; 2.56

Office hours on Tuesday, October 3 : 10:30 - noon
Office hours on Wednesday, October 4: 2:30 - 5:00 p.m.

Midterm Exam in class, Thursday, October 5

HW 6 due Thursday, October 12:
2.57; 2.59; 2.71; 2.72; 2.78

HW 7 due Thursday, October 19:
Read the proofs we skipped; 3.1; 3.2; 3.4; 3.5 D ; 3.8; 3.9; 3.10; 3.11; 3.12; 3.13; 3.14.

HW 8 due Thursday, October 26:
3.19; 3.20; 3.21; 3.23; 3.30; 3.31; 3.33

HW 9 due Thursday, November 2:
3.34; 3.36; 3.37; 3.38.

HW 10 due Thursday, November 9:
3.41; 3.42; 3.43; 3.44

HW 11 due Thursday, November 16:
3.55; 3.56; 3.58; 3.65.

HW 12 due Thursday, November 30:
5.4; 5.6a; 5.7; 5.9; 5.10c; 5.11a; 5.12a; 5.13; 5.18; 5.20; 5.29; 5.30.

Final Exam: Monday December 11, 8 - 10 a.m. UNIV 101