ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Type theory and formal proof: an Introduction

دانلود کتاب نظریه نوع و اثبات رسمی: مقدمه

Type theory and formal proof: an Introduction

مشخصات کتاب

Type theory and formal proof: an Introduction

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان: ,   
سری:  
ISBN (شابک) : 9781107036505, 110703650X 
ناشر: Cambridge University Press 
سال نشر: 2014 
تعداد صفحات: 465 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



کلمات کلیدی مربوط به کتاب نظریه نوع و اثبات رسمی: مقدمه: نظریه تیپ (منطق ریاضی)



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

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


در صورت تبدیل فایل کتاب Type theory and formal proof: an Introduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب نظریه نوع و اثبات رسمی: مقدمه

مقدمه ای ملایم برای دانشجویان تحصیلات تکمیلی و محققین در هنر رسمی کردن ریاضیات بر اساس تئوری نوع.


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

A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.



فهرست مطالب

Content: Foreword
 Preface
 Acknowledgements
 Greek alphabet
 1. Untyped lambda calculus
 2. Simply typed lambda calculus
 3. Second order typed lambda calculus
 4. Types dependent on types
 5. Types dependent on terms
 6. The Calculus of Constructions
 7. The encoding of logical notions in  C
 8. Definitions
 9. Extension of  C with definitions
 10. Rules and properties of  D
 11. Flag-style natural deduction in  D
 12. Mathematics in  D: a first attempt
 13. Sets and subsets
 14. Numbers and arithmetic in  D
 15. An elaborated example
 16. Further perspectives
 Appendix A. Logic in  D
 Appendix B. Arithmetical axioms, definitions and lemmas
 Appendix C. Two complete example proofs in  D
 Appendix D. Derivation rules for  D
 References
 Index of names
 Index of technical notions
 Index of defined constants
 Index of subjects.




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

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