ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

دانلود کتاب بیست و پنج ساله تئوری نوع سازنده. مقالات کنگره در ونیز، اکتبر 1995 برگزار شد

Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

مشخصات کتاب

Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995

دسته بندی: منطق
ویرایش: OUP 
نویسندگان:   
سری: Oxford Logic Guides 
ISBN (شابک) : 0198501277, 9780198501275 
ناشر: Oxford University Press, USA 
سال نشر: 1998 
تعداد صفحات: 291 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



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

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


در صورت تبدیل فایل کتاب Twenty-five years of constructive type theory. Proceedings of a congress held in Venice, october 1995 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب بیست و پنج ساله تئوری نوع سازنده. مقالات کنگره در ونیز، اکتبر 1995 برگزار شد

کار پر مارتین-لوف بر روی نظریه نوع سازنده تأثیر شگرفی بر منطق و ریاضیات و همچنین کاربردهای مهم در علوم کامپیوتر و زبان‌شناسی داشته است. این جلد تولد موضوع را جشن می گیرد و یک رکورد ارزشمند از فعالیت فعلی ارائه می دهد. این شامل مشارکت های N. G. de Bruijn، William Tait و Per Martin-Lof است.


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

Per Martin-Lof's work on constructive type theory has had a tremendous impact on logic and mathematics, as well as important applications in computer science and linguistics. This volume celebrates the birth of the subject and provides an invaluable record of current activity. It includes contributions from N. G. de Bruijn, William Tait, and Per Martin-Lof.



فهرست مطالب

Contents......Page 9
1. Yet another constructivization of classical logic......Page 10
2. Extension of Martin-Löf\'s type theory with record types and subtyping......Page 30
3. Type-theoretical checking and philosophy of mathematics......Page 50
4. The Hahn-Banach theorem in type theory......Page 66
5. A realizability interpretation of Martin-Löf\'s type theory......Page 82
6. The groupoid interpretation of type theory......Page 92
7. Analytic program derivation in type theory......Page 122
8. An intuitionistic theory of types......Page 136
9. On storage operators......Page 182
10. On universes in type theory......Page 200
11. How to believe a machine-checked proof......Page 214
12. Building up a toolbox for Martin-Löf\'s type theory: subset theory......Page 230
13. An introduction to well-ordering proofs in Martin-Löf\'s type theory......Page 254
14. Variable-free formalization of the Curry-Howard theory......Page 274
15. The forget-restore principle: a paradigmatic example......Page 284




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

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