ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Computations in Higher Types

دانلود کتاب محاسبات در انواع بالاتر

Computations in Higher Types

مشخصات کتاب

Computations in Higher Types

دسته بندی: ریاضیات محاسباتی
ویرایش: 1 
نویسندگان:   
سری: Lecture Notes in Mathematics 574 
ISBN (شابک) : 9780387081328, 0387081321 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1977 
تعداد صفحات: 0 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

قیمت کتاب (تومان) : 34,000



کلمات کلیدی مربوط به کتاب محاسبات در انواع بالاتر: ریاضیات، عمومی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 5


در صورت تبدیل فایل کتاب Computations in Higher Types به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



فهرست مطالب

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




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی