MCS-287 Chapter 2 Homework

  1. Do exercise 2.2.2 on page 46.
  2. Do exercise 2.2.3 on page 47.
  3. Do exercise 2.2.5 on page 49.
  4. Do exercise 2.2.7, parts 3 and 5, on page 51.
  5. Do exercise 2.3.2 on page 58. (Don't use exercise 2.3.1's solution.)
  6. Do exercise 2.3.4 on page 58. Your expression may have any (non-zero) number of free variables, but should have a value that is independent of the values of all the free variables.