Mathematical Theory of Computation

by Zohar Manna

Overview

Attempting to make into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. This self-contained treatment includes selected concepts of computability theory and mathematical logic.

Product Details

ISBN-13:	9780486432380
Publisher:	Dover Publications
Publication date:	12/24/2003
Series:	Dover Books on Mathematics Series
Pages:	464
Product dimensions:	5.40(w) x 8.40(h) x 1.00(d)

Table of Contents

Preface
1. Computability
2. Predicate Calculus
3. Verification of Programs
4. Flowchart Schemas
5. The Fixpoint Theory of Programs
Indexes