Assignments

All assignments are due at the beginning of class on the date specified. A list of typos of the textbook could be found at: http://theory.stanford.edu/~arbrad/book/typos.html

• HW1 (due Wed, Oct1):
  • 1.1 e, f [10 points each]
  • 1.2 s, x [10 points each]
  • 1.3 Note typo: the last disjunction (or) symbol should be a conjunction (and) symbol [30 points]
  • 1.5 d [30 points]

• HW2 (due Wed, Oct 8):
  • 1.5d (15 points) Convert this formula to an equisatisfiable formula using the efficient method
  • 1.8b (15 points)
  • 2.1 c,d (5 points each)
  • 2.2 a,b,e (10 points each)
  • 2.3 e,h,j (10 points each)

• HW3 (due Oct 15)
  • 2.4 (c) 15 points
  • 3.1 (a),(c),(e) 15 points each
  • 3.4 (a),(b) 20 points each

• HW4(due Wed 22)
  • 3.5(a)(b) (15 points each)
  • 3.6(a)(d) (15 points each)
  • 4.1(a)(b) (15 points each)
  • 4.4 (10 points)

• HW5 (due Mon, Nov 3)
  • 5.1(a) (use Fig 5.25) 20 points
  • 5.2(a)(b) 15 points each
  • 5.3(1)(2)(5) 10 points each
  • 5.4 for 5.1(a) 20 points

• HW6 (due Mon, Nov 10)
  • See http://www.stanford.edu/class/cs156/pivc_assignment.html for details

• HW7(due Mon, Nov 17)
  • Problem 7.2(a)(c) 15 points each
  • Problem 7.4(b)(e) 15 points each
  • Problem 7.6: For 7.2(d) 20 points
  • Problem 9.1 (b)(d) 10 points each

• HW 8(last) due Mon Dec 1,08
  • 9.2 (for 9.1(a)(e)) 15 points each
  • 9.6 (a)(b) 15 points each
  • 10.1 (a) 10 points
  • 10.2 (a)(b) 15 points each