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 | 9:00 - 10:15 | REC 302 |
Office Hours:
Wednesdays 4:00 -- 5:30 p.m.
Thursdays 12:00 -- 1:00 p.m.
Homework:
Assigned every day, due on Thursday
HW 1, due Thursday, January 12:
Exercises 1
A. 5 - 10
B. 5,6,7,9,10
HW 2, due Thursday, January 19:
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 26:
(This is a big assignment. Note that there are some answers at the back of the book).
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, February 2:
Exercises 3
A. 4,5,6,10
B. 4,5,6,9
C. 2,3
D. 1,2
E. 1(a),(b),2(a),(b)
Review 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); 4 A 1(d), 2(a), 3(l)
Try these on your own before looking at the solutions.
Solutions of Review for Exam 1.
The answers to the problems on Chapter 4 are at the back of the book.
I'll do review in class on Tuesday, February 7.
Exam 1 in class Thursday February 9 on all the material through section 4.1
HW 5, due TUESDAY, February 14:
Exercises 5
A. 1,2,10,14,20,24,31,40
B. 4,5,6,12,13,14,17,22
C. 1 -- 5, 16 -- 20
HW 6 due Thursday, February 16:
Exercises 5
D. 7 -- 8
E. 13 -- 15
F. 16 -- 30
G. 9,10
HW 7, due Thursday, February 23:
Exercises 5
D. 5
Exercises 6
A. 1 -- 4,14,15
B. 1 -- 4,14,15
HW 8, due Thursday, March 1: This HW has not changed
Exercises 7
A. 2,3,13,14
B. 2,5,13,14
D. 2,3,15,17
E. 2,4
Exam 2 in class, Thursday, March 8 (On all the material through the end of Chapter 7)
OFFICE HOURS WEDNESDAY March 7 12:30 - 1:30 and 4:30 - 5:30
Review for Exam 2
Exercises 6 A 10,11; 6 B 10,16; 7 A 11,12; 7 B 10,11; 7 D 10,11.
Please work the review problems before looking at the solutions.
Solutions of Review for Exam 2.
HW 9, due Thursday, March 8: (These problems are also good review for exam 2)
Exercises 7
A. 8,9,10
B. 8,9
D. 5,6
E. 5
F. 3,4
HW 10, due Thursday, March 22
Exercises 8
A. 3,5,6,15,16,17,20
HW 11, due Thursday, March 29
Exercises 8
A. 22
B. 7,9,15
C. 8,9
HW 12, due Thursday, April 5
Exercises 9
A. 4,5,6,7,8
B. 2,3,9,14
C. 7,8
D. 2,7,10,20
HW 13, due Thursday, April 12
Exercises 10
A. 1,4
B. 2,3,4,6,10
D. 8,13
F. 13,14 (There is a typo in 14. The E should be backwards).
HW 14, due Thursday, April 19 (last homework)
Exercises 9
E. 7,8,9
Review for the Final
Chapter 4 A (3) (n)
Chapter 5 D 8, E 9 -- 11, F 16 -- 30
Chapter 8 A 11 -- 14, D 7,8
Chapter 9 A 15,16, B 15, C 10, D 18,19.
In addition, all the problems on homework assignments 9 - 14 are good review.
Solutions of Review Problems for the Final
Extra Office Hour: Monday 04/30 11:30 - 12:30
Final Exam: Monday 04/30 1:00p - 3:00p EE 117
Academic Adjustments for Students with Disabilities
Students who have been certified by the Office of the Dean of Students-Adaptive Programs as eligible for academic adjustments should go to Undergraduate Services Office (MATH 242) with their certification letter and request an Information Sheet for this semester, that explains how to proceed this semester to get these adjustments made in Mathematics courses. This should be done during the first week of classes or as soon as the student receives their letter. Only students who have been certified by the ODOS-Adaptive Programs and who have requested ODOS to send their certification letters to their instructors are eligible for academic adjustments.
Students who are currently undergoing an evaluation process to determine whether they are eligible for academic adjustments, are encouraged to find out now what procedures they will have to follow when they are certified, by requesting the above mentioned Information Sheet from the Undergraduate Services Office.
Large print copies of the Information Sheet are available from the Undergraduate Services Office upon request.