close
1.

図書
図書
1. Computability (: us ; : gw)
Klaus Weihrauch
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 517 p. ; 25 cm
シリーズ名: EATCS monographs on theoretical computer science ; v. 9
所蔵情報: loading…
2.

図書
図書
2. Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979 (: gw ; : us)
edited by K. Weihrauch
出版情報: Berlin ; New York : Springer-Verlag, 1979  vii, 324 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 67
所蔵情報: loading…
3.

図書
図書
3. Computable analysis : an introduction (: [pbk.])
Klaus Weihrauch
出版情報: Berlin ; New York ; Tokyo : Springer, c2000  x, 285 p. ; 24 cm
シリーズ名: Texts in theoretical computer science ; an EATCS series
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1：
The Aim of Computable Analysis / 1.1：
Why a New Introduction? / 1.2：
A Sketch of TTE / 1.3：
A Model of Computation / 1.3.1：
A Naming System for Real Numbers / 1.3.2：
Computable Real Numbers and Functions / 1.3.3：
Subsets of Real Numbers / 1.3.4：
The Space C[0; 1] of Continuous Functions / 1.3.5：
Computational Complexity of Real Functions / 1.3.6：
Prerequisites and Notation / 1.4：
Computability on the Cantor Space / 2：
Type-2 Machines and Computable String Functions / 2.1：
Computable String Functions are Continuous / 2.2：
Standard Representations of Sets of Continuous String Func- tions / 2.3：
E ective Subsets / 2.4：
Naming Systems / 3：
Continuity and Computability Induced by Naming Systems / 3.1：
Admissible Naming Systems / 3.2：
Constructions of New Naming Systems / 3.3：
Computability on the Real Numbers / 4：
Various Representations of the Real Numbers / 4.1：
Computable Real Numbers / 4.2：
Computable Real Functions / 4.3：
Computability on Closed, Open and Compact Sets / 5：
Closed Sets and Open Sets / 5.1：
Compact Sets / 5.2：
Spaces of Continuous Functions / 6：
Various representations / 6.1：
Computable Operators on Functions, Sets and Numbers / 6.2：
Zero-Finding / 6.3：
Di erentiation and Integration / 6.4：
Analytic Functions / 6.5：
Computational Complexity / 7：
Complexity of Type-2 Machine Computations / 7.1：
Complexity Induced by the Signed Digit Representation / 7.2：
The Complexity of Some Real Functions / 7.3：
Complexity on Compact Sets / 7.4：
Some Extensions: / 8：
Computable Metric Spaces / 8.1：
Degrees of Discontinuity / 8.2：
Other Approaches to Computable Analysis / 9：
Banach/Mazur Computability / 9.1：
Grzegorczyk's Characterizations / 9.2：
The Pour-El/Richards Approach / 9.3：
Ko's Approach / 9.4：
Domain Theory / 9.5：
Markov's Approach / 9.6：
The real-RAM and Related Models / 9.7：
Comparison / 9.8：
References
Index
Introduction / 1：
The Aim of Computable Analysis / 1.1：
Why a New Introduction? / 1.2：
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼