دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Joseph R. Shoenfield سری: Lecture Notes in Logic ISBN (شابک) : 0387570934, 9780387570938 ناشر: Springer-Verlag سال نشر: 1993 تعداد صفحات: 94 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
در صورت تبدیل فایل کتاب Recursion Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه بازگشت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
گزارش تحولات جدید در منطق نمادین، به طور گسترده به سرعت، غیر رسمی و در سطح بالا تفسیر می شود. کاغذ.
Reports new developments in symbolic logic, broadly interpreted quickly, informally, and at a high level. Paper.
Introduction......Page 7
Contents......Page 9
1. Computability......Page 11
2. Functions and Relations......Page 12
3. The Basic Machine......Page 13
4. Macros......Page 15
5. Closure Properties......Page 18
6. Definitions of Recursive Functions......Page 21
7. Codes......Page 26
8. Indices......Page 30
9. Church's Thesis......Page 36
10. Word Problems......Page 38
11. Undecidable Theories......Page 42
12. Relative Recursion......Page 49
13. The Arithmetical Hierarchy......Page 53
14. Recursively Enumerable Relations......Page 58
15. Degrees......Page 63
16. Evaluation of Degrees......Page 69
17. Large RE Sets......Page 73
18. Functions of Reals......Page 77
19. The Analytical Hierarchy......Page 81
20. The Projective Hierarchy......Page 84
Suggestions for Further Reading......Page 89
Index......Page 91