CIS 301. Logical Foundations of Programming, Spring 2001

Assignment #3. Due date: Wednesday, February 7, 2001; BEFORE class.

You are asked to do the following exercises from "Exercises 1.6" on page 36 of your textbook:
- #1(c) [worth 2 points],
- #2(a) [worth 2 points],
- #3(d) [worth 2 points].
From "Exercises 1.7" on page 42, you should do
- #1(d) [worth 1 point],
- #3(a) [worth 1 point].
From "Exercises 1.8" on page 49, you should do
- #2 [worth 2 points].

Thus, you can earn a total of ten points for completing this homework.