num_pages: 176
description: ...will provide a comprehensive yet concise introduction to the mathematical theory of computing for students of computer science and mathematics. It represents the first systematic attempt to present the idea of abstract models of computers and formal proofs of their propertiesto an undergraduate and postgraduate audience. It achieves this by adopting a single framework within which particular machines are defined each machine becoming a particular interpretation for the operation and test names of a flowchart program. In addition to gaining insights into the theoretical limitations of various computing devices the reader is introduced to concepts of the equivalence and correctness of programs topics not covered in any other introductory textbook. In terms of mathematical complexity the prerequisites are minimal and the book has been thoroughly class tested
language: English
title: Programs, Machines and Computation
publisher: McGraw-Hill