Cargando…
Handbook of computability theory /
The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while oth...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
Elsevier,
1999.
|
| Edición: | 1st ed. |
| Colección: | Studies in logic and the foundations of mathematics ;
v. 140. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn162130533 | ||
| 003 | OCoLC | ||
| 005 | 20231117014834.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070802s1999 ne a ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OPELS |d OCLCQ |d N$T |d YDXCP |d MERUC |d E7B |d IDEBK |d TULIB |d OCLCO |d OCLCQ |d OPELS |d OCLCF |d DEBBG |d OCLCQ |d EBLCP |d OCLCQ |d COO |d OCLCQ |d DEBSZ |d OCLCQ |d STF |d D6H |d OCLCQ |d LEAUB |d OL$ |d BWN |d OCLCQ |d OCLCO |d COM |d OCLCQ |d OCLCO | ||
| 019 | |a 173818134 |a 441784111 |a 648315747 |a 779919811 |a 989255583 |a 1035658741 |a 1110266560 | ||
| 020 | |a 9780444898821 | ||
| 020 | |a 0444898824 | ||
| 020 | |a 9780080533049 |q (electronic bk.) | ||
| 020 | |a 0080533043 |q (electronic bk.) | ||
| 035 | |a (OCoLC)162130533 |z (OCoLC)173818134 |z (OCoLC)441784111 |z (OCoLC)648315747 |z (OCoLC)779919811 |z (OCoLC)989255583 |z (OCoLC)1035658741 |z (OCoLC)1110266560 | ||
| 050 | 4 | |a QA9.59 |b .H36 1999eb | |
| 072 | 7 | |a QA |2 lcco | |
| 072 | 7 | |a MAT |x 016000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 245 | 0 | 0 | |a Handbook of computability theory / |c edited by Edward R. Griffor. |
| 250 | |a 1st ed. | ||
| 260 | |a Amsterdam ; |a New York : |b Elsevier, |c 1999. | ||
| 300 | |a 1 online resource (xii, 727 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in logic and the foundations of mathematics ; |v v. 140 | |
| 520 | |a The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers. | ||
| 505 | 0 | |a Part 1: Fundamentals of Computability Theory. -- Part 2: Reducibilities and Degrees. -- Part 3: Generalized Computability Theory. -- Part 4: Mathematics and Computability Theory. -- Part 5: Logic and Computability Theory. -- Part 6: Computer Science and Computability Theory. | |
| 504 | |a Includes bibliographical references and indexes. | ||
| 505 | 0 | |a The history and concpt of computability / R.I. Soare -- Recursively bounded (r.b.) classes in recursion theory / D. Cenzer -- Reducibilities / P. Odifreddi -- Local degree theory / S.B. Cooper -- The global structure of the Turing degrees / T.A. Slaman -- The recursively enumerable degrees / R.A. Shore -- An overview of the computably enumerable sets / R.I. Soare -- The continuous functionals / D. Normann -- Ordinal recursion theory / C.T. Chong and S.D. Friedman -- E-recursion / G.E. Sacks -- Recursion on abstract structures / P.G. Hinman -- Computable rings and fields / V. Stoltenberg-Hansen and J.V. Tucker -- The structure of computability in analysis and physical theory : an extension of Church's thesis / M.B. Pour-El -- Theory of numberings / Y.L. Ershov -- Pure recursive model theory / T.S. Millar -- Classifying recursive functions / H. Schwichtenberg -- Computation models and function algebras / P. Clote -- Polynomial time reducibilities and degrees / K. Ambos-Spies. | |
| 588 | 0 | |a Print version record. | |
| 650 | 0 | |a Computable functions. | |
| 650 | 6 | |a Fonctions calculables. |0 (CaQQLa)201-0078765 | |
| 650 | 7 | |a MATHEMATICS |x Infinity. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Logic. |2 bisacsh | |
| 650 | 7 | |a Computable functions |2 fast |0 (OCoLC)fst00871985 | |
| 650 | 1 | 7 | |a Berekenbaarheid. |2 gtt |
| 700 | 1 | |a Griffor, Edward R. | |
| 776 | 0 | 8 | |i Print version: |t Handbook of computability theory. |b 1st ed. |d Amsterdam ; New York : Elsevier, 1999 |z 0444898824 |z 9780444898821 |w (DLC) 99025568 |w (OCoLC)41070843 |
| 830 | 0 | |a Studies in logic and the foundations of mathematics ; |v v. 140. | |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444898821 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=140 |z Texto completo |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/140 |z Texto completo |