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

Homework Assignments

Homework assignments are due in class on the due date.

Assignment #8.  Due Wednesday, April 10.
    Pages 129-131. Section 2.4.  Problems 6, 8, 11, 13.

Assignment #9.  Due Friday, April 19.
    Pages 145-146. Section 2.5.  Problems  3,  4,   5.  Numbers 6 and 8 postponed.

Assignment #10.  Due Friday, April 26.
    Pages 145-146. Section 2.5.  Problems  6,  8.
    Pages 162-164, Section 2.6. Problems 1(a),  2,  3,   8.

Assignment #11.  Due Monday, May 6.
    Pages 163. Section 2.5.  Problems  5,  6,   9..

OLD ASSIGNMENTS FROM LAST QUARTER BELOW.

Assignment #1.  Due Friday, January 18.
    Page 19, Section 1.1:  Problems 1,  3.
    Page 27, Section 1.2:  Problems 1,  2,  3,  4,   5,  10,  11,  13.

Assignment #2.  Due Friday, January 25.
    Download assignment in PDF.
    Pages 52-53, Section 1.5:  Problems 1,  2,  3,   9.
    And prove the theorem on tautologically equivalent sets of formulas.

Assignment #3.  ONLY Problem 12 Due Wednesday, January 30.  Rest EXCEPT problem #10, 11 due Wednesday, February 6. 
    Remaining two problems due Wednesday February 13.
    Download assignment in PDF.
    Pages 65-66, Section 1.7:  Problems 10, 11, 12.
    See PDF file for additional problems and suggestions.

Assignment #4.  Due Wednesday, February 20.
    Pages 79-80, Section 2.1:  Problems 1,  2,  3,   5,  6.

Assignment #5.  Due Wednesday, February 27.
    Download assignment in PDF.
    Pages 79-80, Section 2.1:  Problems 7, 8, 10..
    And do the rest of the assignment from the handout.

Assignment #6.  Due Wednesday, March 6.
    Pages 99-100, Section 2.2:  Problems 2,  3,  6,   8,  9,  11,  12..

Assignment #7.  Due Wednesday, March 13.
    Pages 129-131, Section 2.4:  Problems 2,  4,   6,  7,  8,  11..