Homework set 3: Which came first, Chicken or Egg? The Program and the Proof

Ex i.j denotes exercise j at end of chapter i.
Ex i.j.k denotes exercise k at end of chapter i, section j.

1. 11.12
2. 14.1d [Define "halve the interval" to mean divide it so that the difference in length between the first half and second half is at most one.]
3. 15.1.3
4. 15.1.6 [This is a non-technical question about the convenience of the language features to the proving and the program expression and its development. "Compare" means write a short discussion of the relative merits of the solution in the two languages -- the book's and the one you chose. You are entitled to your opinion. The grading is based on clarity and cogency of the explanation.]
5. [ Question deleted ]
6. 15.2.5
7. 14.2 (required for 603 only)