Includes bibliographical references and index.

Preface.A Science of Computing.A Searching Problem and Its Solution.Calculational Proof.Implementation Issues.Calculational Logic: Part 1.Number Conversion.Calculational Logic: Part 2.Maximum and Minimum.The Assignment Statement.Sequential Composition and Conditional Statements.Quantifiers.Inductive Proofs and Constructions.Iteration.Sorting and Searching Algorithms.Remainder Computation.Cyclic Codes.Appendix.Solutions to Exercises.References.Glossary of Symbols.Index.

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. This book provides straightforward presentation of construction principles including: assignment axiom, sequential composition, case analysis, use of invariants and bound functions. It includes a wide range of entertaining and challenging examples and exercises.