|
|
|
|
| LEADER |
02170cam a22005297a 4500 |
| 001 |
BIBLO-49427 |
| 003 |
AR-BaUEN |
| 005 |
20201111150622.0 |
| 008 |
170831s1982 nyu||||f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 020 |
|
|
|a 9780486614717
|
| 044 |
|
|
|a xxu
|
| 080 |
|
|
|a 681.33
|b D290e
|
| 100 |
1 |
|
|a Davis, Martin
|
| 245 |
1 |
0 |
|a Computability & unsolvability
|
| 260 |
|
|
|a New York, NY :
|b Dover,
|c 1982
|
| 300 |
|
|
|a xxv, 248 p.
|
| 500 |
|
|
|a Esta ed. de Dover es una versión ampliada de la obra originalmente publicada por McGraw-Hill en 1958; incluye nuevo prefacio y un apéndice: "Hilbert´s tenth problem is unsolvable", publicado inicialmente en The American Mathematical Montly (vol. 80, no. 3, march 1973, pp. 233-269)
|
| 500 |
|
|
|a Referencias bibliográficas pp. 237-242
|
| 500 |
|
|
|a Índice analítico de materias.
|
| 505 |
0 |
0 |
|t Preface to the Dover Edition
|
| 505 |
0 |
0 |
|t Preface to the First Edition
|
| 505 |
0 |
0 |
|t Glossary of Special Symbols
|
| 505 |
0 |
0 |
|t Introduction
|
| 505 |
0 |
0 |
|g Chapter 1.
|t Computable Functions
|
| 505 |
0 |
0 |
|g Chapter 2.
|t Operations on Computable Functions
|
| 505 |
0 |
0 |
|g Chapter 3.
|t Recursive Functions
|
| 505 |
0 |
0 |
|g Chapter 4.
|t Turing Machines Self-applied
|
| 505 |
0 |
0 |
|g Chapter 5.
|t Unsolvable Decision Problems
|
| 505 |
0 |
0 |
|g Chapter 6.
|t Combinatorial Problems
|
| 505 |
0 |
0 |
|g Chapter 7.
|t Diophantine Equations
|
| 505 |
0 |
0 |
|g Chapter 8.
|t Methematical Logic
|
| 505 |
0 |
0 |
|g Chapter 9.
|t The Kleene Hierarchy
|
| 505 |
0 |
0 |
|g Chapter 10.
|t Computable Functionals
|
| 505 |
0 |
0 |
|g Chapter 11.
|t The Classification of Unsolvable Decision Problems
|
| 505 |
0 |
0 |
|g Appendix 1.
|t Some Results from the Elementary Theory of Numbers
|
| 505 |
0 |
0 |
|g Appendix 2.
|t Hilbert's Tenth Problems Is Unsolvable
|
| 505 |
0 |
0 |
|t References
|
| 505 |
0 |
0 |
|t Index
|
| 653 |
1 |
0 |
|a TEORIA DE LA COMPUTACION
|
| 653 |
1 |
0 |
|a COMPUTABILIDAD Y DECISION
|
| 653 |
1 |
0 |
|a FUNCIONES COMPUTABLES
|
| 653 |
1 |
0 |
|a FUNCIONES RECURSIVAS
|
| 650 |
1 |
7 |
|2 spines
|a LOGICA MATEMATICA
|
| 650 |
1 |
7 |
|2 spines
|a MAQUINAS DE TURING
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 38116
|