CS 3133, A Term 1998
Foundations of Computer Science
Homework 2 (due Sept. 15)

This page is located at http://www.cs.wpi.edu/~alvarez/CS3133/HW2.html


Do the problems listed below. Page numbers refer to the textbook. Solutions for this and all subsequent homework assignments should be legible and coherent. Arguments should be sufficiently clear and airtight so as to convince a skeptical but reasonable jury (for instance, the professor and the TA!). Solutions should be written on only one side of each sheet of paper. Separate sheets should be stapled.


  1. Exercise 3, p. 189.
  2. Exercise 9, p. 189.
  3. Exercise 17, p. 190.
  4. Exercise 28, p. 191.
  5. Exercise 4, p. 223.
  6. Exercise 11, parts a,b, p. 224.