مشخصات کتاب

Computability: An Introduction to Recursive Function Theory

ویرایش:  
نویسندگان: Nigel Cutland  
سری:  
ISBN (شابک) : 0521223849, 9780521223843 
ناشر: Cambridge University Press 
سال نشر: 1980 
تعداد صفحات: 130 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 مگابایت 

در صورت تبدیل فایل کتاب Computability: An Introduction to Recursive Function Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب محاسبه پذیری: مقدمه ای بر نظریه توابع بازگشتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

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

فهرست مطالب

Preface
 Prologue, prerequisites and notation
 1. Computable functions
 2. Generating computable functions
 3. Other approaches to computability: Church\'s thesis
 4. Numbering computable functions
 5. Universal programs
 6. Decidability, undecidability and partical decidability
 7. Recursive and recursively enumerable sets
 8. Arithmetic and Godel\'s incompleteness theorem
 9. Reducibility and degrees
 10. Effective operations on partial functions
 11. The second recursion theorem
 12. Complexity of computation
 13. Further study.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب All-in-one A+ certification exam guide

دانلود کتاب Schulpolitik und Schulsystem in der DDR

دانلود کتاب Semiconductor Nanomaterials for Flexible Technologies. From Photovoltaics and Electronics to Sensors and Energy Storage/Harvesting Devices

دانلود کتاب Regulating Water and Sanitation for the Poor: Economic Regulation for Public and Private Partnerships

دانلود کتاب Design Thinking: A Forefront Insight