نرم افزار: سیستم ها: محاسبات علمی

تئوری محاسباتی

Computability theory

دانلود کتاب Computability theory (به فارسی: تئوری محاسباتی) نوشته شده توسط «Rebecca Weber»


اطلاعات کتاب تئوری محاسباتی

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: American Mathematical Society

نویسنده: Rebecca Weber

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2012

تعداد صفحه: 218

حجم فایل: 7.40 مگابایت

کد کتاب: 082187392X , 9780821873922

توضیحات کتاب تئوری محاسباتی

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


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

دانلود کتاب «تئوری محاسباتی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

دیدگاهتان را بنویسید