مشخصات کتاب

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

ویرایش: 3 
نویسندگان: Professor Dr. Hans Hermes (auth.)  
سری: Heidelberger Taschenbücher 87 
ISBN (شابک) : 9783540088691, 9783642953279 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1978 
تعداد صفحات: 271 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

کلمات کلیدی مربوط به کتاب Enumerability Decidability Computability: مقدمه ای بر تئوری توابع بازگشتی: ریاضیات عمومی

در صورت تبدیل فایل کتاب Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب Enumerability Decidability Computability: مقدمه ای بر تئوری توابع بازگشتی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

فهرست مطالب

Front Matter....Pages I-XIII
Einführende Betrachtungen über Algorithmen....Pages 1-32
Turingmaschinen....Pages 33-59
µ-Rekursive Funktionen....Pages 59-95
Die Äquivalenz von Turing-Berechenbarkeit und µ-Rekursivität....Pages 95-114
Rekursive Funktionen....Pages 114-142
Unentscheidbare Prädikate....Pages 142-187
Verschiedenes....Pages 188-252
Back Matter....Pages 253-260

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

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

دانلود کتاب The Virtual Team Maturity Model: Performance Improvement of Virtual Teams

دانلود کتاب Engineering for Business Theory and Cases

دانلود کتاب Big Dog and Little Dog Going for a Walk

دانلود کتاب Pensamientos de Poder: Reflexiones que cambiarán tu vida

دانلود کتاب Disasters in the United States: Frequency, Costs, and Compensation