دانلود کتاب Computations in Higher Types
دسته: ریاضیات محاسباتی
کتاب محاسبات در انواع بالاتر نسخه زبان اصلی
دانلود کتاب محاسبات در انواع بالاتر بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Computations in Higher Types
نام کتاب : Computations in Higher Types
ویرایش : 1
عنوان ترجمه شده به فارسی : محاسبات در انواع بالاتر
سری : Lecture Notes in Mathematics 574
نویسندگان : Johan Moldestad (auth.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 1977
تعداد صفحات : 0
ISBN (شابک) : 9780387081328 , 0387081321
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 1 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
فهرست مطالب :
Abstract....Pages 1-13
The computation domain....Pages 14-16
Recursion on α....Pages 17-25
Connection with Kleene recursion in higher types....Pages 26-33
Recursion in normal lists on α....Pages 34-49
Kleene recursion in normal objects of type n+2, n>0....Pages 50-53
Computation theories on α....Pages 54-59
Abstract Kleene theories....Pages 60-63
Normal computation theories on α....Pages 64-98
More about Mahloness....Pages 99-108
Calculation of the lengths of some computations....Pages 109-119
Gaps....Pages 120-149
On platek: “Foundations of recursion theory”....Pages 150-192
A final comment concerning the two types....Pages 193-194
پست ها تصادفی