دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Ordinal Computability: An Introduction to Infinitary Machines
دانلود کتاب محاسبه‌پذیری ترتیبی: مقدمه‌ای بر ماشین‌های بی‌نهایت
مشخصات کتاب
Ordinal Computability: An Introduction to Infinitary Machines
ویرایش:
نویسندگان: Merlin Carl
سری: De Gruyter Series in Logic and Its Applications 9
ISBN (شابک) : 3110496151, 9783110496154
ناشر: de Gruyter
سال نشر: 2019
تعداد صفحات: 343
[342]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 Mb
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Ordinal Computability: An Introduction to Infinitary Machines به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبه‌پذیری ترتیبی: مقدمه‌ای بر ماشین‌های بی‌نهایت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبه‌پذیری ترتیبی: مقدمه‌ای بر ماشین‌های بی‌نهایت
محاسبه‌پذیری ترتیبی مدل‌های محاسباتی را مورد بحث قرار می‌دهد که با تعمیم مدل‌های کلاسیک، مانند ماشین‌های تورینگ یا ماشین‌های ثبت‌کننده به دست آمده‌اند تا زمان و مکان کار را تغییر دهند. به طور خاص، قابلیت تشخیص، تصادفی بودن و کاربرد در سایر زمینه‌های ریاضیات پوشش داده شده است.
توضیحاتی درمورد کتاب به خارجی
Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics are covered.
فهرست مطالب
Contents......Page 5
1. Introduction......Page 9
2. Machine models of transfinite computability......Page 17
3. Computability strength......Page 85
4. Recognizability......Page 165
5. Randomness......Page 203
6. Degree theory......Page 227
7. Complexity......Page 247
8. Applications and interactions......Page 265
9. Philosophical aspects......Page 285
Bibliography......Page 321
Index......Page 331
