ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Recursive Equivalence Types

دانلود کتاب انواع هم ارزی بازگشتی

Recursive Equivalence Types

مشخصات کتاب

Recursive Equivalence Types

دسته بندی: ریاضیات محاسباتی
ویرایش:  
نویسندگان: , ,   
سری: University of California Publications in Mathematics 3 
 
ناشر: University of California Press 
سال نشر: 1960 
تعداد صفحات: 153 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



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

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


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

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


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



فهرست مطالب

Preface......Page 3
Contents......Page 5
Introduction......Page 7
I. The Relation of Recursive Equivalence......Page 8
II. Elementary Algebraic Properties of Addition......Page 13
III. The Refinement Property......Page 19
IV. Isols......Page 27
V. The Partial Ordering Relation......Page 33
VI. Some Existence Theorems......Page 41
VII. Ideals......Page 54
VIII. The System Ω_F......Page 60
IX. Elementary Properties of Multiplication......Page 70
X. The Operations A^n and A^∞......Page 75
XI. Subtraction......Page 85
XII. Division......Page 95
XIII. Primes......Page 112
XIV. Exponentiation......Page 116
XV. The Elementary Operations as Partial Recursive Functionals......Page 130
Appendix. A Theorem on Partial Isomorphisms......Page 140
References......Page 148
Index......Page 151




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

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