Leonard M Lipshitz
Mathematical Logic: Applications and Theory
Jean E. Rubin
The course will cover most of Chapters 1 -- 10, and a few topics from Chapters 11 -- 16.
Grading:
| HW | 25% |
| 2 midterms | 40% (20% + 20%) |
| Final | 35% |
Lectures:
| TuTh 10:30 - 11:45 UNIV 119 |
Office Hours (MATH 722):
| Tuesday | 12:00 - 12:45 | |
| Wednesday | 1:00 - 2:30 | |
| Thursday | 12:00 - 1:00 |
Homework:
Assigned every day, usually due on Thursdays
HW 1, due Thursday, January 10:
Exercises 1
A. 5 - 10
B. 5,6,7,9,10
HW 2, due Thursday, January 17:
Exercises 1
C. 4,5
D. 5
E. 5,6
F. 4
Exercises 2
A. 1,2,11
B. 1,2,10
C. 2,3
HW 3, due Thursday, January 24:
Exercises 2
D. 2,3,4
E. 1,5,7,8
F. 1,5,7,8
G. 4,6,9
H. 1,2,3
HW 4 due Thursday, January 31 :
Exercises 3
A. 4,5,10
B. 4,9
C. 2,3
D. 1,2
E. 1(b),2(b)
Exercises 4
A. 1
Exercises 5
A. 1,2,10,14,20,24,31,40
Exam 1 in class, Thursday, February 7 (On everything through Chapter 5)
Review for Exam 1
Review on Chapters 1 - 3 for Exam 1
Exercises 1 A 7,8,11 - 14; 2 E 3,7,8; 2 H 5 - 8; 3 A 8,9; 3 B 11,13; 3 C 4,5; 3 E 3(a)
Try these on your own before looking at the solutions.
Solutions of Review for Exam 1.
Also review Exercises 4 A and Exercises 5 D, E and F.
I'll answer questions and do review in class on Tuesday, February 5.
HW 5, due Thursday, February 14:
Exercises 5
B. 4,5,6,12,13,14,17,22
C. 1 - 5, 16 - 20 D. 7 - 8
E. 13 - 15
F. 16 - 30
G. 9,10
HW 6, due Thursday, February 21:
Exercises 6
A. 1 - 4,14,15
B. 1 - 4,14,15
HW 7, due Thursday, February 28:
Exercises 7
A. 2,3,13,14
B. 2,5,13,14
D. 2,3,15,17
E. 2,4
HW 8, due Thursday, March 7:
Exercises 7
A. 8,10
Exercises 8
A. 3,5,6,15,20,22
Exam 2 in class, Thursday, March 21 (On everything through Chapter 8)
Review for Exam 1
The exam will be mostly proofs and interpretations. For proofs all of Exercises 8 A are good review. Try some of the more complicated ones that we didn't do in class or for homework and try redoing some we did in class without looking at your notes. Exercises 6 A and B are good review on interpretations.
I will do review in class on Tuesday, March 19.
Scores (out of 100) are posted in Blackboard.
A 80, B 66, C 52
Median 66
HW 9, due Thursday, March 28
Exercises 9
A. 4, 5,6,7,8,16
B. 2,3,9,14
C. 7,8
HW 10, due Thursday, April 4
Exercises 10
A. 1,4
B. 2,3,4,6,10
D. 8,13
F. 13,14
HW 11, due Thursday, April 11
Exercises 9
E. 1,2,3,4,5,6,7
Final Exam Thursday, May 2, 3:30 - 5:30 p.m. LILY 3118