ISBN-13: 9781107168084 / Angielski / Twarda / 2017 / 92 str.
A clear and focused introduction to recursion theory that is ideal for teaching and self-study.
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. Functions of reals; 19. The analytical hierarchy; 20. The projective hierarchy; Suggestions for further reading; Index.
Czytaj nas na:
