Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003867590/catalog> ?p ?o. }
Showing items 1 to 25 of
25
with 100 items per page.
- catalog abstract "Computability: A Mathematical Sketchbook is a concise, rigorous introduction to the theory of computation. Using Turing machines as models of computers, the author develops major themes of computability theory, culminating in a systematic account of Blum's abstract complexity measures. One of the book's unique aspects is the inclusion of a chapter on computable real numbers and elementary computable analysis. Exercises and solutions form an integral part of the material. The book is suitable for self-study and provides excellent course materials for senior and graduate-level students in mathematics and computer science.".
- catalog contributor b5583623.
- catalog created "1994.".
- catalog date "1994".
- catalog date "1994.".
- catalog dateCopyrighted "1994.".
- catalog description "1. What Is a Turing Machine? -- 2. Computable Partial Functions -- 3. Effective Enumerations -- 4. Computable Numbers and Functions -- 5. Rice's Theorem and the Recursion Theorem -- 6. Abstract Complexity Theory.".
- catalog description "Computability: A Mathematical Sketchbook is a concise, rigorous introduction to the theory of computation. Using Turing machines as models of computers, the author develops major themes of computability theory, culminating in a systematic account of Blum's abstract complexity measures. One of the book's unique aspects is the inclusion of a chapter on computable real numbers and elementary computable analysis. Exercises and solutions form an integral part of the material. The book is suitable for self-study and provides excellent course materials for senior and graduate-level students in mathematics and computer science.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "ix, 178 p. :".
- catalog hasFormat "Computability.".
- catalog identifier "0387941746".
- catalog isFormatOf "Computability.".
- catalog isPartOf "Graduate texts in mathematics ; 146".
- catalog issued "1994".
- catalog issued "1994.".
- catalog language "eng".
- catalog publisher "New York : Springer-Verlag,".
- catalog relation "Computability.".
- catalog subject "511.3 20".
- catalog subject "Computable functions.".
- catalog subject "QA9.59 .B75 1994".
- catalog tableOfContents "1. What Is a Turing Machine? -- 2. Computable Partial Functions -- 3. Effective Enumerations -- 4. Computable Numbers and Functions -- 5. Rice's Theorem and the Recursion Theorem -- 6. Abstract Complexity Theory.".
- catalog title "Computability : a mathematical sketchbook / Douglas Bridges.".
- catalog type "text".