Cargando…
Recursive functionals /
This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results. Although aiming basically at a theory of higher order computability, attention is restricted to second order functionals, where the arguments are numerical fun...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York :
North-Holland,
1992.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 131. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- Front Cover; Recursive Functionals; Copyright Page; Contents; Preface; Chapter 1. Mappings and Domains; Chapter 2. Functionals and Predicates; Chapter 3. Basic Operations; Chapter 4. Primitive Recursive Operations; Chapter 5. Basic Recursion; Chapter 6. Church's Thesis; Chapter 7. Functional Recursion; Chapter 8. Recursive Algorithms; Chapter 9. Formalization: Structural Semantics; Chapter 10. Formalization: Reductional Semantics; Chapter 11. Interpreters; Chapter 12. A Universal Interpreter; Chapter 13. Enumeration; Chapter 14. Continuous Functionals; Chapter 15. A Selector Theorem
- Chapter 16. HyperenumerationChapter 17. Recursion in Normal Classes; Appendix Recursion and Church's Thesis; References; Index; List of Symbols