دانلود کتاب Computability Theory. An Introduction
کتاب تئوری محاسباتی. یک مقدمه نسخه زبان اصلی
دانلود کتاب تئوری محاسباتی. یک مقدمه بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Computability Theory. An Introduction
نام کتاب : Computability Theory. An Introduction
ویرایش : First Edition, First Printing
عنوان ترجمه شده به فارسی : تئوری محاسباتی. یک مقدمه
سری : ACM monograph series
نویسندگان : Neil D. Jones and Robert L. Ashenhurst (Auth.)
ناشر : Elsevier Inc, Academic Press Inc
سال نشر : 1973
تعداد صفحات : 164
ISBN (شابک) : 9780123900500 , 0123900506
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 7 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مفاهیم، ساختارها و قضایای اصلی تئوری محاسباتی توابع بازگشتی را معرفی می کند. این کتاب بر مفهوم «فرایند مؤثر» در مراحل اولیه تأکید می‌کند تا درک واضح و شهودی از محاسبه‌پذیری مؤثر (در رابطه با توابع و مجموعه‌ها) قبل از ادامه دادن به بخش دقیق کتاب ارائه دهد. فصل‌های بعدی توسعه‌ای رسمی از معادل‌سازی محاسبه‌پذیری، شمارش‌پذیری و تصمیم‌پذیری ماشین تورینگ با سایر فرمول‌بندی‌های مفاهیم، از جمله سیستم‌های معادلات بازگشتی و سیستم‌های تولید پست ارائه می‌کنند.
فهرست مطالب :
Content:
ACM MONOGRAPH SERIES, Page ii
Front Matter, Page iii
Copyright, Page iv
PREFACE, Pages vii-ix
LIST OF SPECIAL SYMBOLS, Pages xi-xiv
INTRODUCTION, Pages 1-4
I - MATHEMATICAL BASIS, Pages 5-28
II - INTRODUCTION TO COMPUTABILITY, Pages 29-67
III - DESCRIPTION OF TURING MACHINES BY PREDICATES, Pages 68-85
IV - DECISION OF PREDICATES BY TURING MACHINES, Pages 86-105
V - THE NORMAL FORM THEOREMS AND CONSEQUENCES, Pages 106-125
VI - OTHER FORMULATIONS OF COMPUTABILITY, Pages 126-148
REFERENCES, Pages 149-150
INDEX, Pages 151-154
توضیحاتی در مورد کتاب به زبان اصلی :
This book introduces the major concepts, constructions, and theorems of the elementary theory of computability of recursive functions. It emphasizes the concept of "effective process" early in order to provide a clear, intuitive understanding of effective computability (as related to functions and sets) before proceeding to the rigorous portion of the book. Subsequent chapters present a formal development of the equivalence of Turing machine computability, enumerability, and decidability with other formulations of the concepts, including systems of recursion equations and post's production systems
پست ها تصادفی