دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen
دانلود کتاب Enumerability Decidability Computability: مقدمه ای بر تئوری توابع بازگشتی
مشخصات کتاب
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 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب 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
