Stony Brook Mathematics Department

MAT 200
Logic, Language, and Proof
Spring 2005
* Index
* Announcement
* Syllabus and Schedule
* Homework


Homework

Homework will be discussed in class on the day due.
Late homework will not be accepted for grading.

Homework Assignment 1 (due Tuesday Feb 1) Solutions

  • Section 2.1: Problems 1, 3, 4, 10
  • Section 2.2: Problem 6
  • For a statement involving three variables (say, p, q, r), the Venn-diagram analysis and the truth-table analysis are exactly equivalent. Explain this by showing that the Venn diagram divides the "universe" into 8 regions, each of which corresponds to one assignment of 0 or 1 to each of p, q, r, i.e. to one row in the truth table. Extra credit: what happens with 4 variables?

Homework Assignment 2 (due Tuesday Feb 8) Solutions

  • Section 2.3: Problems 4 a,b,e; 5 a-c
  • Section 4.2: Problems 4, 5, 13, 15, 16

Homework Assignment 3 (due Tuesday Feb 15) Solutions

  • Section 3.2: Problems 3, 6, 8 a-f
  • Section 3.3: Problems 5, 7a-c, 9 a,b,d
Homework Assignment 4 (due Thursday Feb 24) Solutions
  • Section 3.4: Problem 5
  • Section 4.3: Problems 5, 14
  • Section 4.4: Problems 10, 27, 30
Homework Assignment 5 (due Thursday Mar 17) Solutions
  • GN (Geometry Notes) Section 2: 2.1, 2.3, 2.4
  • GN Section 3: Prove Theorem 3.4; Exercises 3.1, 3.2, 3.3
Homework Assignment 6 (due Thursday Mar 31) Solutions
  • GN Section 4: Exercises 4.1, 4.2, 4.3
Homework Assignment 7 (due Tuesday Apr 12) Solutions
  • GN Section 5: Exercises 5.2, 5.3, 5.5, 5.6
Homework Assignment 8 (due Thursday April 28) Solutions
  • Wolf, Section 5.1, Problems 1abc, 5
  • Section 5.2, Problems 3, 5, 13
  • Section 5.3, Problems 1ae, 7, 11
Homework Assignment 9 (due Thursday May 5) Solutions
  • Exercises from chapters 6 & 7 as assigned in class