مشخصات کتاب

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

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

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

دانلود کتاب Steam Plant Calculations Manual (Mechanical Engineering (Marcell Dekker))

دانلود کتاب Klucz do sekretu. Przyciągnij do siebie wszystko, czego pragniesz

دانلود کتاب For Folk’s Sake: Art and Economy in Twentieth-Century Nova Scotia

دانلود کتاب Super Me 2: Teacher's Book

دانلود کتاب Women Food and God: An Unexpected Path to Almost Everything