MIDTERM
2 INFORMATION
1.
Midterm 2 will be held on Friday November
16 during the lecture, that
is, 9-9:50 in ET202. This is a change from the original date,
because of the Holiday on Monday Nov 12.
2.
There will be four questions. Please read the rules for grading
the questions. The questions will have one of the following forms:
(A) Either
there will be a problem to solve, and in this case you will be required
to provide a complete justification for all of your steps. The
problem will be of the kind given on the homework assignments.
(B) Or
else the question will consist of five yes/no subquestions where
you will be asked to give an answer without justification.
3.
The topic is Predicate Logic.
(A) Languages, terms and formulas.
(B) Structures for languages and interpretations of formulas.
(C) Satisfaction relation.
(D) Proofs by induction on complexity.
(E) Expressing facts that hold in structures or facts about structures
by formulas in formal languages.
Note: If the topic ``Substitutability " is covered in the lecture, this
topic will not be on Midterm 2,
but it will be on Final.
MATH 150
HOME