برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Recursion theory for metamathematics

دانلود کتاب نظریه بازگشتی برای فرا ریاضیات

مشخصات کتاب

Recursion theory for metamathematics

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش:  
نویسندگان: Raymond M. Smullyan  
سری: Oxford Logic Guides 
ISBN (شابک) : 019508232X, 9780195082326 
ناشر: Oxford University Press, USA 
سال نشر: 1993 
تعداد صفحات: 180 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

قیمت کتاب (تومان) : 29,000

کلمات کلیدی مربوط به کتاب نظریه بازگشتی برای فرا ریاضیات: کتابخانه، ادبیات کامپیوتری، الگوریتم ها و ساختارهای داده

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 9

در صورت تبدیل فایل کتاب Recursion theory for metamathematics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه بازگشتی برای فرا ریاضیات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نظریه بازگشتی برای فرا ریاضیات

این اثر دنباله‌ای بر قضایای ناتمامیت گودل نویسنده است، اگرچه هر کسی که با قضیه ناتمام بودن گودل برای محاسبات پیانو آشنا باشد می‌تواند به‌طور مستقل آن را بخواند. این کتاب عمدتاً به جنبه‌هایی از تئوری بازگشتی می‌پردازد که در فراریاضیات ناقص بودن، تصمیم‌ناپذیری و موضوعات مرتبط کاربرد دارند. این هم مقدمه ای برای تئوری و هم ارائه نتایج جدید در این زمینه است.

توضیحاتی درمورد کتاب به خارجی

This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.

فهرست مطالب

Content: 0 Prerequisites (starting p. 1) --
I Some General Incompleteness Theorems (starting p. 1) --
II Arithmetic, [Sigma[subscript 0]] and R.E. Relations (starting p. 8) --
III Shepherdson\'s Theorems (starting p. 19) --
I Recursive Enumerability and Recursivity (starting p. 23) --
I Some Basic Closure Properties (starting p. 23) --
II Recursive Pairing Functions (starting p. 29) --
III Representability and Recursive Enumerability (starting p. 32) --
II Undecidability and Recursive Inseparability (starting p. 35) --
I Undecidability (starting p. 35) --
II Recursive Inseparability (starting p. 40) --
III Indexing (starting p. 45) --
I The Enumeration Theorem (starting p. 45) --
II The Iteration Theorem (starting p. 47) --
III Effective Separation (starting p. 52) --
IV Generative Sets and Creative Systems (starting p. 54) --
V Double Generativity and Complete Effective Inseparability (starting p. 63) --
I Complete Effective Inseparability (starting p. 63) --
II Double Universality (starting p. 71) --
III Double Generativity (starting p. 72) --
VI Universal and Doubly Universal Systems (starting p. 77) --
I Universality (starting p. 78) --
II Double Universality (starting p. 80) --
VII Shepherdson Revisited (starting p. 84) --
VIII Recursion Theorems (starting p. 89) --
I Weak Recursion Theorems (starting p. 90) --
II The Strong Recursion Theorem (starting p. 93) --
III An Extended Recursion Theorem (starting p. 97) --
IX Symmetric and Double Recursion Theorems (starting p. 99) --
I Double Recursion Theorems (starting p. 99) --
II A Symmetric Recursion Theorem (starting p. 103) --
III Double Recursion With a Pairing Function (starting p. 104) --
IV Further Topics (starting p. 107) --
X Productivity and Double Productivity (starting p. 113) --
I Productivity and Double Productivity (starting p. 113) --
XI Three Special Topics (starting p. 121) --
I Uniform Reducibility (starting p. 121) --
II Pseudo-Uniform Reducibility (starting p. 126) --
III Some Feeble Partial Functions (starting p. 129) --
XII Uniform Godelization (starting p. 134) --
I The Sentential Recursion Property (starting p. 134) --
II DSR and Semi-DSR Systems (starting p. 136) --
III Rosser Fixed-Point Properties and Uniform Incompletability (starting p. 141) --
IV Finale (starting p. 147) --
References (starting p. 151) --
Index (starting p. 153)