MIDTERM 1 INFORMATION
1.
Midterm 1 will be held on Wednesday October 24 during the lecture, that
is, 9-9:50 in ET202.
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 Sentential Logic.
(A) Since we did not have much time to practice Compactness
Theorem, I will not give any problems on Compactness. However, you
should understand the statement of the Compactness theorem and also the
Corollary concerning when a set of formulas tautologically implies some
formula. You may be asked this on the midterm.
(B) Apart from the material excluded in (3A) you shoud be
prepared for all of the remaining material on sentential logic,
including the design of switching circuits presented today
(Wednesday October 17)
MATH 150 HOME