# 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

 HW 25% 2 midterms 40% (20% + 20%) Final 35%

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