A Science of Computing.
A Searching Problem and Its Solution.
Calculational Logic: Part 1.
Calculational Logic: Part 2.
Maximum and Minimum.
The Assignment Statement.
Sequential Composition and Conditional Statements.
Inductive Proofs and Constructions.
Sorting and Searching Algorithms.
Solutions to Exercises.
Glossary of Symbols.
- Unique approach tackles what most books don't - why maths and logic are fundamental tools for a programmer
- This comprehensive guide is a balanced combination of mathematical theory and the practice of programming
- Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions
- Includes a wide range of entertaining and challenging examples and exercises