دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions
دانلود کتاب شمارش پذیری · محاسبه پذیری تصمیم گیری: مقدمه ای بر نظریه توابع بازگشتی
مشخصات کتاب
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions
ویرایش:
نویسندگان: Hans Hermes (auth.)
سری: Die Grundlehren der Mathematischen Wissenschaften 127
ISBN (شابک) : 9783662116883, 9783662116869
ناشر: Springer Berlin Heidelberg
سال نشر: 1965
تعداد صفحات: 254
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب شمارش پذیری · محاسبه پذیری تصمیم گیری: مقدمه ای بر نظریه توابع بازگشتی: ریاضیات عمومی
در صورت تبدیل فایل کتاب Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب شمارش پذیری · محاسبه پذیری تصمیم گیری: مقدمه ای بر نظریه توابع بازگشتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages II-X
Introductory Reflections on Algorithms....Pages 1-30
Turing Machines....Pages 31-59
μ-Recursive Functions....Pages 59-93
The Equivalence of Turing-Computability and μ-Recursiveness....Pages 93-112
Recursive Functions....Pages 113-140
Undecidable Predicates....Pages 141-187
Miscellaneous....Pages 187-240
Back Matter....Pages 241-245
