CS 156: Calculus of Computation Prof. Zohar Manna Fall 2009

## Slides

 Lecture 1 PDF PDF Lecture 2 PDF PDF Lecture 3 PDF PDF Lecture 4 PDF PDF Lecture 5 PDF PDF Lecture 6 no slides Lecture 7 PDF PDF Lecture 8 PDF PDF Lecture 9 PDF PDF Lecture 10 PDF PDF Lecture 11 PDF PDF Lecture 12 no slides

## 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)

• 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