CIS 301. Logical Foundations of Programming, Spring 2001

Assignment #2. Due date: Wednesday, January 31, 2001; BEFORE class.

You are asked to do the following exercises from "Exercises 1.4" on page 22:
- #1(a) [worth 1 point],
- #2(f) [worth 2 points],
- and #2(p) [worth 1 point].
From "Exercises 1.5" on page 27, you should do
- #1(b),
- #1(e),
- and #2(d), each of them worth two points.

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