CS 8803 Computational Logic
Spring 2007

Homework 2

Due 2/12/2007 before class starts

  1. Exercise 3.6 in EFT, page 65
  2. Exercise 4.5 in EFT, page 67
  3. Exercise 7.8 in EFT, page 74
  4. Exercise 1.12 in EFT, page 79
  5. Exercise 1.3 in EFT, page 88
  6. Exercise 4.4 in EFT, page 114

Last modified: Wed Jan 31 20:45:21 EST 2007