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
The final will consist mostly of problems on proofs and on interpretations. You should be able to do proofs in the predicate calculus, and in the predicate calculus with equality, both using the rules LT and LE and also without using them. The exercises at the end of Chapters 10 and 11 give good review problems on this. In addition there will be some questions on the Completeness Theorem. Exercises 9E are good review. Other topics could be Disjunctive Normal Form, Conjunctive Normal Form and Prenex Normal Form.
Office hour Wednesday April 24 will be 12 - 1:20 p.m.
Office hours for Exam week: Monday and Tuesday 1:00 - 2:30 p.m.
Final Exam Thursday, May 2, 3:30 - 5:30 p.m. LILY 3118