CS 8803 Computational Logic
Spring 2006

Homework 4, Due 3/2/2006

Read chapters 6 and 7 of CAR.

Do the exercises in chapters 6 that seem non-obvious. I am not going to collect solutions.

You will be expected to present the solutions to the chapter 7 exercises on the board in class. Remember these are paper and pencil proofs.

Last modified: Fri Mar 17 10:58:03 EST 2006