책 이미지
책 정보
· 제목 : Recursion Theory (Hardcover) 
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781107168084
· 쪽수 : 92쪽
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781107168084
· 쪽수 : 92쪽
목차
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.
저자소개
추천도서
분야의 베스트셀러 >