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