Exercise 1.12: Although you need not write any code for this exercise, you are
encouraged to test your answer by running the f procedure.
Exercise 1.13: Your expression will be tested by evaluating it in
DrRacket. Format your expression so that at most two procedure symbols
appear on one line.
Exercise 1.15: Give two answers. For each one, describe why
division by zero will not occur.
Exercise 1.16: Your diagram must be complete, showing all
evaluations. It cannot be hand-drawn.
Exercise 2.2: Just the proof is required. Ignore the question
posed in the second sentence of the exercise.
Exercise 2.3: Describe how the proof fails and also why the
procedure as written will fail. Then rewrite the procedure so that it
works.
Note that in this procedure square recurses on n-2,
not n-1. Thus for the Inductive Step you should try to
show that if square works for k <
n then it does for n.