FINAL EXAM
INFORMATION
1.
Final exam will be according to Schedule of Classes on Wednesday,
December 12, 8-12am
2.
There will be six problems. Please read the rules for grading
the questions.
(A) Problem 1 will consist of 10 yes/no questions.
(B) The remaining problems will ask for solutions and you will be
required tojustify your steps.
3.
The topic is Predicate Logic, with the focus on the following:
(A) Definability in structures (Models of Arithmetic, Grahps,
Equivalence relations.)
(B) Inductive definitions.
(C) Applications of the Compactenss theorem.
(D) Syntax of Predicate logic and Formal proofs. You will not be
asked to assemble formal proofs, only to be able to recognize if a
sequenc of formulas is a formal proof.
4.
During the exam you can use as a reference the text ``Basic notions of Predicate Logic"
which can be downloaded from the course website. But you have to print
it out and bring a printed version to use. Electronic version will not be
allowed.
5. Most
importantly: Get enough sleep
before the exam!
MATH 150 HOME