On computable real functions
Kybernetika (1980)
- Volume: 16, Issue: 3, page (240)-247
- ISSN: 0023-5954
Access Full Article
topHow to cite
topLukavcová, Milena. "On computable real functions." Kybernetika 16.3 (1980): (240)-247. <http://eudml.org/doc/28275>.
@article{Lukavcová1980,
author = {Lukavcová, Milena},
journal = {Kybernetika},
keywords = {computable real functions; computability classes of functions; statistics},
language = {eng},
number = {3},
pages = {(240)-247},
publisher = {Institute of Information Theory and Automation AS CR},
title = {On computable real functions},
url = {http://eudml.org/doc/28275},
volume = {16},
year = {1980},
}
TY - JOUR
AU - Lukavcová, Milena
TI - On computable real functions
JO - Kybernetika
PY - 1980
PB - Institute of Information Theory and Automation AS CR
VL - 16
IS - 3
SP - (240)
EP - 247
LA - eng
KW - computable real functions; computability classes of functions; statistics
UR - http://eudml.org/doc/28275
ER -
References
top- A. Grzegorczyk, On the definitions of computable real continuous functions, Fundamenta Mathematicae 44 (1957), 61-71. (1957) Zbl0079.24801MR0089809
- P. Hájek T. Havránek, Mechanizing hypothesis formation - mathematical foundations for a general theory, Springer-Verlag, Heidelberg 1978. (1978) MR0501342
- 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. (1975) MR0428802
- T. Havránek, Statistics and computability, Kybernetika 12 (1976), 5, 303-315. (1976) MR0445897
- M. Lukavcová, Theory of computability and statistics, Diploma work, 1977 (in Czech). (1977)
- M. Lukavcová, On computable statistics, RNDr. thesis, 1978 (in Czech). (1978)
- 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. (1975) MR0366638
- 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. (1972) Zbl0279.68042MR0448999
- 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. (1976) MR0431785
- J. R. Shoenfield, Degrees of unsolvability, North-Holland, Amsterdam 1971. (1971) Zbl0245.02037MR0340011
- Tables of probability functions, Volume II, National Bureau of Standards, 1942. (1942)
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.