Chapter 5
Reasoning about lists


Aims


Issues

Strategies

These mirror those in Chapter 3; perhaps the advantage here is that the proof goals can be more realistic and less `mathematical'.

More advanced techniques

Section 5.4 should only form part of a second reading of the book, except for mathematically mature students. It shows how the straightforward techniques can break down, and call for us to generalise the goal of an induction proof. The section requires more logical sophistication than does the rest of the material on proof in the text.

Next Up


Written 18 May 1995.