CS 8803 Computational Logic
Spring 2005

Homework 3

Due 3/14/2005 before class starts. You can work in groups of 2.

  1. Exercise 4.11 in EFT, page 98
  2. Exercise 1.2 in EFT, page 154
  3. Exercise 1.9 in EFT, page 156
  4. Exercise 2.9 in EFT, page 162
  5. Exercise 3.5 in EFT, page 167
  6. Exercise 4.3 in EFT, page 170
  7. Exercise 6.13 in EFT, page 181
  8. Exercise 7.12 in EFT, page 186 (Extra Credit)

Last modified: Sat Feb 19 19:49:40 EST 2005