Aimed at teaching mathematics students how to program using their
knowledge of mathematics, the entire books emphasis is on "how to
think" when programming. Three methods for constructing an
algorithm or a program are used: manipulation and enrichment of
existing code; use of recurrent sequences; deferral of code
writing, in order to deal with one difficulty at a time. Many
theorems are mathematically proved and programmed, and the text
concludes with... more...