CS 8803 Computational Logic
Spring 2006

Homework 2

Due 2/7/2006 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: Fri Mar 17 09:48:31 EST 2006