مشخصات کتاب

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

ویرایش:  
نویسندگان: Professor. Dr. Hans Hermes (auth.)  
سری: Heidelberger Taschenbücher 109 
ISBN (شابک) : 9783540053347, 9783642960703 
ناشر: Springer Berlin Heidelberg 
سال نشر: 1971 
تعداد صفحات: 258 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

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

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

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

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

فهرست مطالب

Front Matter....Pages I-X
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-240
Back Matter....Pages 241-248

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

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

دانلود کتاب Vererbung und Umweit

دانلود کتاب The Routledge Encyclopedia of Walt Whitman

دانلود کتاب The Fellowship of the River: A Medical Doctor’s Exploration into Traditional Amazonian Plant Medicine

دانلود کتاب Hypercube Algorithms: with Applications to Image Processing and Pattern Recognition

دانلود کتاب Das grosse Entsetzen - Die Bibel nicht Gottes Wort (1937, 36 S., Scan-Text, Fraktur)