Author | Bridges, Douglas S. author |
---|---|
Title | Computability [electronic resource] : A Mathematical Sketchbook / by Douglas S. Bridges |
Imprint | New York, NY : Springer New York : Imprint: Springer, 1994 |
Connect to | http://dx.doi.org/10.1007/978-1-4612-0863-1 |
Descript | XI, 180 p. online resource |
Preliminaries -- 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 -- Solutions to Exercises -- Solutions for Chapter 1 -- Solutions for Chapter 2 -- Solutions for Chapter 3 -- Solutions for Chapter 4 -- Solutions for Chapter 5 -- Solutions for Chapter 6 -- References