CS 8803 Computational Logic
Spring 2006

Homework 1

Due 1/24/2006 before class starts

  1. Exercise 1.5 in EFT, page 13
  2. Exercise 4.8 in EFT, page 24
  3. Exercise 1.5 in EFT, page 30
  4. Exercise 3.4 in EFT, page 33
  5. Exercise 4.9 in EFT, page 38
  6. Exercise 4.14 in EFT, page 39
  7. Exercise 5.11 in EFT, page 44
  8. Exercise 8.9 in EFT, page 57

Last modified: Fri Mar 17 09:49:03 EST 2006