دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computability Theory. An Introduction
دانلود کتاب نظریه محاسبه. مقدمه
مشخصات کتاب
Computability Theory. An Introduction
ویرایش: First Edition, First Printing
نویسندگان: Neil D. Jones and Robert L. Ashenhurst (Auth.)
سری: ACM monograph series
ISBN (شابک) : 9780123900500, 0123900506
ناشر: Elsevier Inc, Academic Press Inc
سال نشر: 1973
تعداد صفحات: 164
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 32,000
در صورت تبدیل فایل کتاب Computability Theory. An Introduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه محاسبه. مقدمه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه محاسبه. مقدمه
این کتاب مفاهیم، ساختارها و قضایای اصلی تئوری محاسباتی توابع بازگشتی را معرفی می کند. این مقاله بر مفهوم \"فرایند موثر\" در مراحل اولیه تاکید می کند تا درک واضح و شهودی از محاسبه پذیری مؤثر (در رابطه با توابع و مجموعه ها) قبل از ادامه دادن به بخش دقیق کتاب ارائه دهد. فصل‌های بعدی توسعه‌ای رسمی از معادل‌سازی محاسبه‌پذیری، شمارش‌پذیری و تصمیم‌پذیری ماشین تورینگ با سایر فرمول‌بندی‌های مفاهیم، از جمله سیستم‌های معادلات بازگشتی و سیستم‌های تولید پست ارائه می‌کنند.
توضیحاتی درمورد کتاب به خارجی
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
فهرست مطالب
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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Protestant Community of Modern Taiwan: Mission, Seminary, and Church (Taiwan in the Modern World)
دانلود کتاب The Rise and Fall of Ancient Egypt
دانلود کتاب Getreide, Mais und Futtergraser
