Leonard M Lipshitz

MA 38500, Spring 2018

Book:
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.


For students who don't yet have the book:
Chapter 1 of the book
Chapter 2 of the book

Grading:
HW25%
2 midterms40% (20% + 20%)
Final35%

Lectures:
TuTh 10:30 - 11:45 UNIV 303


Office Hours (MATH 722):
Tuesday 12:00 - 12:45
Wednesday 3:00 - 4:30

Homework:
Assigned every day, usually due on Thursdays at the beginning of class

HW 1, due Thursday, January 11:
Exercises 1
A. 5 - 10
B. 5,6,7,9,10


HW 2, due Thursday, January 18:
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 25:
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 1:
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

HW 5, due Thursday, February 8:
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


Exam 1 in class, Thursday, February 15 (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 13.


Solutions to Exam 1 are available on Blackboard



HW 6, due Thursday, February 22:
Exercises 6
A. 1 - 4,14,15
B. 1 - 4,14,15

HW 7, due Thursday, March 1:
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 8:
Exercises 7
A. 8,10
Exercises 8
A. 3,5,6,15,20,22

Spring break March 12 - 16


HW 9, due Thursday, March 22
Exercises 9
A. 4, 5,6,7,8,16
B. 2,3,9,14
C. 7,8


Exam 2 in class, Thursday, March 29 (On everything through Chapter 8)

Review for Exam 2
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.

Here are solutions to some of the exercises in Chapters 6 and 8: Solutions of some review problems.


Solutions to Exam 2 are available on Blackboard


Exam 2 statistics:
Median 72
A 85
B 70
C 50

HW 10, due Thursday, April 5
Exercises 10
A. 1,4
B. 2,3,4,6,10
D. 8,13


HW 11, due Thursday, April 12
Exercises 10
F. 11, 13
Exercises 9
E. 1,2,3,5


HW 12, due Thursday, April 19 (If you are unable to finish it on time you may hand iy in on Tuesday, April 24).
Exercises 11
D. 1, 2
E. 4, 6


(
FINAL EXAM: Monday 04/30 8:00 a.m - 10:00 a.m. WALC 3138


The final covers the whole course except logical puzzles and translations and will consist mostly of problems on proofs and on interpretations. You should be able to do proofs in the predicate calculus (and 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 are good review. In addition there may be a question on the Completeness Theorem. Other topics could be Disjunctive Normal Form, Conjunctive Normal Form and Prenex Normal Form.



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 8,9,10,11 and 12 are good review.


Solutions of Review Problems for the Final

Solutions to some homework problems



Academic adjustments for students with disabilities

If you have been certified by the Disabilities Resource Center (DRC) as eligible for academic adjustments on exams or quizzes see ADA procedures. for exam and quiz procedures. In the event that you are waiting to be certified by the Disability Resource Center you are encouraged to review the procedures prior to being certified. For in class accommodations please see me outside class hours, before or after class, or during office hours to share your Accommodation Memorandum for the current semester and discuss accommodations, as soon as possible.