| Title:
|
On computable real functions (English) |
| Author:
|
Lukavcová, Milena |
| Language:
|
English |
| Journal:
|
Kybernetika |
| ISSN:
|
0023-5954 |
| Volume:
|
16 |
| Issue:
|
3 |
| Year:
|
1980 |
| Pages:
|
(240)-247 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03D60 |
| MSC:
|
03D99 |
| MSC:
|
03F60 |
| MSC:
|
03F99 |
| MSC:
|
68C30 |
| MSC:
|
68T15 |
| idZBL:
|
Zbl 0451.68040 |
| idMR:
|
MR587571 |
| . |
| Date available:
|
2009-09-24T17:14:11Z |
| Last updated:
|
2012-06-05 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125120 |
| . |
| Reference:
|
[1] A. Grzegorczyk: On the definitions of computable real continuous functions.Fundamenta Mathematicae 44 (1957), 61-71. Zbl 0079.24801, MR 0089809 |
| Reference:
|
[2] P. Hájek T. Havránek: Mechanizing hypothesis formation - mathematical foundations for a general theory.Springer-Verlag, Heidelberg 1978. MR 0501342 |
| Reference:
|
[3] T. Havránek: The approximation problem in computational statistics.Mathematical Foundations of Computer Science (1975) (J. Bečvář, ed.). Lecture Notes in Computer Science 32. Springer-Verlag, Heidelberg, 258-265. MR 0428802 |
| Reference:
|
[4] T. Havránek: Statistics and computability.Kybernetika 12 (1976), 5, 303-315. MR 0445897 |
| Reference:
|
[5] M. Lukavcová: Theory of computability and statistics.Diploma work, 1977 (in Czech). |
| Reference:
|
[6] M. Lukavcová: On computable statistics.RNDr. thesis, 1978 (in Czech). |
| Reference:
|
[7] M. B. Pour, El J. Caldwell: On a simple definitions of computable functions of a real variable - with application to functions of a complex variable.Zeitschrift für math. Logik und Grundlagen d. Math. 21 (1975), 1-19. MR 0366638 |
| Reference:
|
[8] D. S. Scott: Lattice theory, data types and semantics.In: Formal semantic of programming languages (R. Rustin, ed.). Prentice-Hall, Englewood Cliffs 1972, 65-107. Zbl 0279.68042, MR 0448999 |
| Reference:
|
[9] I. M. Shamos: Geometry and statistics - problem at the interface.Algorithms and Complexity, New directions and recent results (J. F. Traub, ed.). Academic Press, New York 1976. MR 0431785 |
| Reference:
|
[10] J. R. Shoenfield: Degrees of unsolvability.North-Holland, Amsterdam 1971. Zbl 0245.02037, MR 0340011 |
| Reference:
|
[11]
: Tables of probability functions, Volume II.National Bureau of Standards, 1942. |
| . |
