Programming for Mathematicians (Universitext)

"The aim of this book is to teach mathematics students how to program using their knowledge of mathematics. For this they require only to know how to construct a proof. The entire book's emphasis is on "how to think" when programming. Three methods for constructing an algorithm or a program are used: a) manipulation and enrichment of existing code; b) use of recurrent sequences; c) deferral of code writing, in order to deal with one difficulty at a time. Many theorems are mathematically proved and programmed. The last chapter explains how a compiler works and shows how to compile "by hand" little (but not trivial - even recursive) programs. The book is intended for anyone who thinks mathematically and wants to program and play with mathematics."--Jacket

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 an explanation of how a compiler works and how to compile by hand little programs. Intended for anyone who thinks mathematically and wants to program and play with mathematics.

...this well known author is a must for anyone who thinks mathematically & wants to program & play with math...his last chapter explains how a compiler works & how to compile by hand short programs.

Programmers enjoy creating proverbs which reflect their professional experience.