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 REC 123


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

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

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


Classes are cancelled on Wednesday, January 29. I plan to hold my Wednesday office hour as usual, but don't put your life in danger to come and ask a question. If you need extra time for the homework you can ask questions in class on Thursday and put your homework in my mailbox (in MATH 835) by noon on Friday.


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

HW 5, due Thursday, February 7:
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 14 (On everything through Chapter 5)

Extended office hours Wednesday February 13, 3:30 - 5:00 p.m.

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 12.


Exam 1 cutoffs:
A 80
B 65
C 50
Median 58
Solutions are on Blackboard.


Solutions to Exercises in Chapter 5.



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

Spring break March 11 - 15


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


Exam 2 in class, Thursday, March 28 (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 more exercises you can use for review: Solutions of some more review problems.


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

Exam 2 cutoffs:
A 90
B 77
C 65
Median 85
Solutions are on Blackboard.

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


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


HW 12, due Thursday, April 18
Exercises 11
D. 1, 2
E. 4, 6






Final Exam Wednesday, May 1, 7:00 - 9:00 p.m. SC 239




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


Office hours during finals week Monday 3:30 - 5:00



Purdue University strives to make learning experiences accessible to all participants. If you anticipate or experience physical or academic barriers based on disability, you are encouraged to contact the Disability Resource Center by e-mail at drc@purdue.edu or by phone 765-494-1247.

In this course accomodations are managed by the instructor, the student and the DRC Testing Center.

You should see the instructor either before class, after class, or during office hours to share your Accommodation Memorandum for the current semester and discuss your accomodations as soon as possible