دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computability theory
دانلود کتاب تئوری محاسبه پذیری
مشخصات کتاب
Computability theory
ویرایش:
نویسندگان: Rebecca Weber
سری: Student Mathematical Library 062
ISBN (شابک) : 082187392X, 9780821873922
ناشر: American Mathematical Society
سال نشر: 2012
تعداد صفحات: 218
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 46,000
در صورت تبدیل فایل کتاب Computability theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری محاسبه پذیری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری محاسبه پذیری
چه چیزی را می توانیم محاسبه کنیم - حتی با منابع نامحدود؟ آیا همه چیز در دسترس است؟ یا اینکه محاسبات لزوماً نه فقط در عمل، بلکه از نظر تئوری به شدت محدود هستند؟ این سوالات در قلب تئوری محاسباتی قرار دارند. هدف این کتاب این است که به خواننده پایه ای محکم در مبانی نظریه محاسباتی و یک مرور کلی از حوزه های تحقیقاتی فعال فعلی، مانند ریاضیات معکوس و تصادفی الگوریتمی بدهد. ماشین‌های تورینگ و توابع بازگشتی جزئی با جزئیات مورد بررسی قرار می‌گیرند و ابزارها و مفاهیم حیاتی از جمله کدگذاری، یکنواختی و مورب به صراحت شرح داده شده‌اند. از آنجا، مواد با ماشین‌های جهانی، مسئله توقف، پارامترسازی و قضیه بازگشت ادامه می‌یابد، و از آنجا به قابلیت محاسبه برای مجموعه‌ها، شمارش‌پذیری، و کاهش تورینگ و درجات ادامه می‌یابد. قبل از فصل مربوط به حوزه‌های تحقیق، چند موضوع پیشرفته‌تر کتاب را کامل می‌کنند. متن به گونه ای طراحی شده است که دارای یک فصل کامل از مطالب اولیه از جمله روابط، بازگشت، استقرا، و نمادهای منطقی و مجموعه و عملگرها باشد. این پیشینه، همراه با توضیحات فراوان، مثال‌ها، تمرین‌ها و پیشنهادات برای مطالعه بیشتر، این کتاب را برای مطالعه مستقل یا دوره‌هایی با پیش‌نیازهای کمی ایده‌آل می‌کند.
توضیحاتی درمورد کتاب به خارجی
What can we compute--even with unlimited resources? Is everything within reach? Or are computations necessarily drastically limited, not just in practice, but theoretically? These questions are at the heart of computability theory. The goal of this book is to give the reader a firm grounding in the fundamentals of computability theory and an overview of currently active areas of research, such as reverse mathematics and algorithmic randomness. Turing machines and partial recursive functions are explored in detail, and vital tools and concepts including coding, uniformity, and diagonalization are described explicitly. From there the material continues with universal machines, the halting problem, parametrization and the recursion theorem, and thence to computability for sets, enumerability, and Turing reduction and degrees. A few more advanced topics round out the book before the chapter on areas of research. The text is designed to be self-contained, with an entire chapter of preliminary material including relations, recursion, induction, and logical and set notation and operators. That background, along with ample explanation, examples, exercises, and suggestions for further reading, make this book ideal for independent study or courses with few prerequisites
