دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مگابایت
قیمت کتاب (تومان) : 44,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.
فهرست مطالب
Front Matter....Pages i-xi
Preliminaries....Pages 1-4
What Is a Turing Machine?....Pages 5-17
Computable Partial Functions....Pages 19-33
Effective Enumerations....Pages 35-45
Computable Numbers and Functions....Pages 47-74
Rice’s Theorem and the Recursion Theorem....Pages 75-91
Abstract Complexity Theory....Pages 93-115
Back Matter....Pages 117-180
