Assignments. In general, spend some time doing exercises 8.14, 8.15 (then try to prove them), exercise 8.16 (then try to prove them), and exercise 8.21 of the Quantification Chapter that was handed out. We will do some of these exercises at the beginning of each lecture.

A0.html. Due in class on Friday, 3 September 2004. The grade depends on whether you hand it in.

A1. Due 6 September 2004. Eexercise 8.8 of the quantification chapter.

A2. Due 15 September 2004. In "The Science of Programming": Chapter 7, exercises 1, 4, 5.
Also, memorize the definition of wp (7.1), Law of the Excluded Miracle (7.3), Dist. of Conjunction (7.4), Law of Monotonicity (7.5), Dist. of Disjunction (7.6).
Also, definitions (8.1), (8.2), (8.3), (9.1.1).

A3. Due, 17 Septembe, 2004. In the "Science of Programming": page 120, exercises 1, 4, 5; page 136, ex. 1, 2, 7. Study Secs. 9.1, 9.2 (disregard the part about calculating part of an assignment), chapter 10, and chapter 13.

A4. Due, 27 September 2004. Here is a word file for it.

A5. Due earlier. Page 178 (chap. 14), exercise 1, 2.