Computable analysis :
Weihrauch, K. 1943-
Computable analysis : an introduction / Klaus Weihrauch. - Berlin ; New York : Springer Verlag, c2000. - viii, 285 p. : ill. ; 24 cm. - Texts in theoretical computer science .
Includes bibliographical references and index.
1. Introduction --
2. Computability on the Cantor Space --
3. Naming Systems --
4. Computability on the Real Numbers --
5. Computability on Closed, Open and Compact Sets --
6. Spaces of Continuous Functions --
7. Computational Complexity --
8. Some Extensions --
9. Other Approaches to Computable Analysis.
3540668179 (alk. paper) 9783540668176
Computable functions.
Recursion theory.
Mathematical analysis.
515
Computable analysis : an introduction / Klaus Weihrauch. - Berlin ; New York : Springer Verlag, c2000. - viii, 285 p. : ill. ; 24 cm. - Texts in theoretical computer science .
Includes bibliographical references and index.
1. Introduction --
2. Computability on the Cantor Space --
3. Naming Systems --
4. Computability on the Real Numbers --
5. Computability on Closed, Open and Compact Sets --
6. Spaces of Continuous Functions --
7. Computational Complexity --
8. Some Extensions --
9. Other Approaches to Computable Analysis.
3540668179 (alk. paper) 9783540668176
Computable functions.
Recursion theory.
Mathematical analysis.
515