Leonard M Lipshitz
Introduction to Mathematical Logic, by Eliott Mendelson
Fourth Edition, Chapman&Hall/CRC.
Grading:
| HW | 30% |
| Midterm | 25% |
| Final | 45% |
Office Hours:
| MW | 10:30 - 11:20 |
| Th | 10:00 -12:00 |
| MWF | 9:30 - 10:20 | MATH 731 |
Homework:
Assigned every day, due on Fridays at the beginning of class
Comments:
In general, late homework will not be accepted. I will delete the two lowest homework scores of each student before computing grades. In special circumstances, please contact me promptly, either in person or by e-mail. In the event of a major disruption (e.g. a flu epidemic at Purdue) these policies may change. In the event of such a disruption, please consult this webpage on how to proceed.
First HW, due Friday, August 28
up to 1.27a,b.
Second HW, due Friday, September 4
up to 1.50
Third HW, due Friday, September 18
up to 2.12 (But do IX not X. I'll do X in class)
Fourth HW, due Friday, September 26
up to 2.26
Fifth HW, due Friday, October 2
up to 2.38
Sixth HW, due Friday, October 9
up to 2.50 (We haven't talked about decidable theories, but give 2.50 a try.)
Midterm, in class, Friday October 16
Review for midterm.
Comments on review for midterm.
Comments on the midterm exam.
Seventh HW, due Friday, October 23
2.53, 2.54, 2.56, 2.57, 2.71, 2.75, 2.78
Eighth HW, due Friday, October 30
2.84, 2.97, and Chapter 3 up to 3.12. I'll do 3.7 in class, so just think about it a bit.
Homework due Friday, November 20
Up to 3.36.
Here is a list of homework problems.
Problems are due the Friday after we cover the relevant material in class.
Chapter 1
1.4a,b,c; 1.5c,d; 1.6b,c; 1.11; 1.19d,e; 1.21; 1.22a,b; 1.27a,b; 1.31; 1.33i; 1.35b; 1.38; 1.45; 1.46; 1.48a,f; 1.50
Chapter 2
2.6a,e; 2.8a,e,l,m; 2.9a,b,d; 2.10; 2.11a,b; 2.12X; 2.13; 2.14a,f; 2.15a; 2.17a; 2.18e; 2.21a,h; 2.25; 2.26; 2.27a; 2.31a,f; 2.34; 2.36b; 2.38; 2.44; 2.50D; 2.53; 2.54; 2.56; 2.57; 2.59; 2.70a,b; 2.71; 2.72; 2.75; 2.78; 2.84; 2.97; the following three are optional: 2.98; 2.99; 2.100.
Chapter 3
Read the proofs we skipped; 3.1; 3.2; 3.4; 3.5D; 3.7D; 3.8; 3.9; 3.10; 3.11; 3.12; 3.13; 3.14; 3.19; 3.20; 3.21; 3.23; 3.30; 3.31; 3.33; 3.34; 3.36; 3.37; 3.38; 3.41; 3.55; 3.56; 3.58.
Chapter 5
5.4; 5.6a; 5.7; 5.9; 5.10c; 5.11a; 5.12a; 5.13; 5.18; 5.20; 5.29; 5.30.
More to come . . .