CS 8803 Computational Logic
Spring 2007

Homework 1

Due 1/29/2007 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: Mon Jan 22 21:05:14 EST 2007