ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Introduction to HOL: A theorem-proving environment for higher order logic

دانلود کتاب مقدمه ای بر HOL: یک محیط اثبات کننده قضیه برای منطق مرتبه بالاتر

Introduction to HOL: A theorem-proving environment for higher order logic

مشخصات کتاب

Introduction to HOL: A theorem-proving environment for higher order logic

دسته بندی: سایبرنتیک: هوش مصنوعی
ویرایش:  
نویسندگان: ,   
سری:  
ISBN (شابک) : 9780521441896, 0521441897 
ناشر: Cambridge University Press 
سال نشر: 1993 
تعداد صفحات: 493 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



کلمات کلیدی مربوط به کتاب مقدمه ای بر HOL: یک محیط اثبات کننده قضیه برای منطق مرتبه بالاتر: منطق نمادین -- ریاضی، منطق نمادین و ریاضی، اثبات قضیه خودکار، منطق، نمادین و ریاضی، ML (زبان برنامه کامپیوتری)، ML (زبان برنامه نویسی)، قضایا - اثبات خودکار.



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

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


در صورت تبدیل فایل کتاب Introduction to HOL: A theorem-proving environment for higher order logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



فهرست مطالب

Content: Part I. Tutorial: 1. Introduction to ML
 2. The HOL logic
 3. Introduction to proof with HOL
 4. Goal-oriented proof: tactics and tacticals
 5. Example: a simple parity checker
 6. How to program a proof tool
 7. Example: the binomial theorem
 Part II. The Meta-Language ML: 8. The history of ML
 9. Introduction and examples
 10. Syntax of ML
 11. Semantics of ML
 12. ML types
 13. Primitive ML identifier bindings
 14. General purpose and list processing functions
 15. ML system functions
  Part III. The Hol Logic: 16. Syntax and semantics
 17. Theories
 Part IV. The Hol System: 18. The HOL logic in ML
 Part V. Theorem-Proving With HOL: 19. Derived inference rules
 20. Conversions
 21. Goal-directed proof: tactics and tacticals
 Appendices.




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

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