دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computability: A Mathematical Sketchbook
دانلود کتاب محاسبه پذیری: کتاب طرح ریاضی
مشخصات کتاب
Computability: A Mathematical Sketchbook
ویرایش: 1
نویسندگان: Douglas S. Bridges
سری: Graduate Texts in Mathematics volume 146
ISBN (شابک) : 0387941746, 9780387941745
ناشر: Springer
سال نشر: 1994
تعداد صفحات: 189
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 45,000
در صورت تبدیل فایل کتاب Computability: A Mathematical Sketchbook به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبه پذیری: کتاب طرح ریاضی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبه پذیری: کتاب طرح ریاضی
Computability: A Mathematical Sketchbook با هدف ریاضیدانان و دانشمندان رایانه ای که تنها در یک دوره در این زمینه قرار خواهند گرفت، مقدمه ای کوتاه اما دقیق بر نظریه انتزاعی محاسبات ارائه می دهد که گاهی به عنوان نظریه بازگشتی نیز از آن یاد می شود. مضامین اصلی در تئوری محاسبات، مانند قضیه رایس و قضیه بازگشتی را توسعه می‌دهد و گزارشی سیستماتیک از نظریه پیچیدگی بلوم و همچنین مقدمه‌ای بر نظریه اعداد و توابع واقعی قابل محاسبه ارائه می‌دهد. این کتاب به عنوان یک متن دانشگاهی در نظر گرفته شده است، اما ممکن است برای مطالعه شخصی نیز استفاده شود. تمرین ها و راه حل های مناسب گنجانده شده است.
توضیحاتی درمورد کتاب به خارجی
Aimed at mathematicians and computer scientists who will only be exposed to one course in this area, Computability: A Mathematical Sketchbook provides a brief but rigorous introduction to the abstract theory of computation, sometimes also referred to as recursion theory. It develops major themes in computability theory, such as Rice's theorem and the recursion theorem, and provides a systematic account of Blum's complexity theory as well as an introduction to the theory of computable real numbers and functions. The book is intended as a university text, but it may also be used for self-study; appropriate exercises and solutions are included.
فهرست مطالب
Cover......Page 1
Title Page......Page 2
Copyright Page......Page 3
Contents......Page 6
Dedication......Page 4
Preface......Page 8
Preliminaries......Page 12
1 What Is a Turing Machine?......Page 16
2 Computable Partial Functions......Page 30
3 Effective Enumerations......Page 46
4 Computable Numbers and Functions......Page 58
5 Rice\'s Theorem and the Recursion Theorem......Page 86
6 Abstract Complexity Theory......Page 104
Solutions to Exercises......Page 128
Solutions for Chapter 1......Page 129
Solutions for Chapter 2......Page 131
Solutions for Chapter 3......Page 141
Solutions for Chapter 4......Page 147
Solutions for Chapter 5......Page 167
Solutions for Chapter 6......Page 177
References......Page 184
Index......Page 187
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Evoluzione e cultura
دانلود کتاب Advances in Agent Communication: International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003. Revised and Invited Papers
