image University of Washington Computer Science & Engineering
  CSE 321,  Sp '09:  Assignment #2, Due: Monday, April 13, 2009
  CSE Home   About Us    Search    Contact Info 

Problems from text:

  1. 1.3, #42

  2. 1.3, #50

  3. 1.3, #60. Briefly justify your answer to part d. (This does not need to be a formal proof with all the details, but should convince an intelligent reader, e.g. a classmate.)

  4. 1.4, #10

  5. 1.4, #24. First give a fairly literal translation of each, then, if possible, a more intuitive one.

  6. 1.4, #32

  7. 1.4, #48. (Note that the similar pair of formulae in 1.3 #50 were not equivalent.)

  8. 1.5, #12. In this problem and the next, do write out all steps carefully, including naming the relevant rules of inference used in each step.

  9. 1.5, #28

  10. 1.6, #42. This proof does not need to be as formal as the previous two problems, but should be persuasive, in the style of the examples presented in sections 1.6 and 1.7.

CSE logo Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX