مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب شمارش پذیری · محاسبه پذیری تصمیم گیری: مقدمه ای بر نظریه توابع بازگشتی: ریاضیات عمومی

در صورت تبدیل فایل کتاب 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Policy and Methodology to Incorporate Wartime Plans into Total U.S. Air Force Manpower Requirements (Technical Report)

دانلود کتاب Approaching Infinity

دانلود کتاب OECD Economic Surveys : Germany 1969.

دانلود کتاب Yaşamla Ölüm Arasında Gazze: Dünden Bugüne Filistin Sorunu

دانلود کتاب Where The Red Fern Grows