Recursion theory
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Shoenfield Joseph R (Joseph Robert), <1927->
|
| Titolo: |
Recursion theory
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer, , 1993 |
| ©1993 | |
| Edizione: | 1st ed. |
| Descrizione fisica: | 1 online resource (89 pages) |
| Disciplina: | 511.35 |
| Altri autori: |
GirardJ.-Y
LachlanA
|
| Nota di contenuto: | Lecture Notes in Logic 1 Recursion Theory -- Recursion Theory -- Copyright -- Introduction -- CONTENTS -- 1. Computability -- 2. Functions and Relations -- 3. The Basic Machine -- 4. Macros -- 5. Closure Properties -- 6. Definitions of Recursive Functions -- 7. Codes -- 8. Indices -- 9. Church's Thesis -- 10. Word Problems -- 11. Undecidable Theories -- 12. Relative Recursion -- 13. The Arithmetical Hierarchy -- 14. Recursively Enumerable Relations -- 15. Degrees -- 16. Evaluation of Degrees -- 17. Large RE Sets -- 18. Function of Reals -- 19. The Analytical Hierarchy -- 20. The Projective Hierarchy -- Suggestions for Further Reading -- Index. |
| Titolo autorizzato: | Recursion Theory |
| ISBN: | 3-662-22378-3 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910482885103321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Logic