CS 8803 Computational Logic
Spring 2005

Homework 2

Due 2/14/2005 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 Feb 2 15:46:32 EST 2005