Math 160A - Mathematical Logic
Winter 2002, Univ. of California, San Diego, Professor S. Buss

In-class Quizes

Quizes will be preannounced, at least one lecture in advance.  Usually (but perhaps not always) they will also be preannounced on this page.

Quiz #6.  Friday, April 11.
    Topics: Prove existence of deductions (a la Homework #1)..
    Quiz with answers in PDF format.   Also available in postscript format.

Quiz #1.  Friday, January 25.
    Topics: truth tables, tautology, satisfaction of (sets of) formulas, tautological equivalence.
    Quiz with answers in PDF format.   Also available in postscript format.
    Please note the hardcopy handout had an error in the answer for the third part of #1:  v(C)=T is what is needed.

Quiz #1'.  Wednesday, January 30.
    Topics: Same as Quiz #1. Since quiz #1 did not go as well as hoped, we are trying again.
    Quiz with answers in PDF format.   Also available in postscript format.

Quiz #2.  Wednesday, February 6.
    Topics: A proof.  Similar to proofs given by students in class.
    Quiz (no answers) in PDF format.   Also available in postscript format.

Quiz #3.  Monday, February 25.
    Topics: Translate English sentences into first-order logic.
    Quiz with answers in PDF format.   Also available in postscript format.

Quiz #4.  Friday, March 1.
    Topics: Translate English sentences into first-order logic.
    Quiz in PDF format.   Also available in postscript format.

Quiz #5.  Friday, March 11.
    Topics: Counter-examples to logical implication.
    Quiz with answers in PDF format.   Also available in postscript format.