دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Classical Type Theory, Chapter 15 of Handbook of Automated Reasoning
دانلود کتاب نظریه کلاسیک نوع، فصل 15 کتاب راهنمای استدلال خودکار
مشخصات کتاب
Classical Type Theory, Chapter 15 of Handbook of Automated Reasoning
ویرایش:
نویسندگان: Alan Robinson and Andrei Voronkov
سری:
ناشر: Elsevier
سال نشر: 2001
تعداد صفحات: 43
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 422 کیلوبایت
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Classical Type Theory, Chapter 15 of Handbook of Automated Reasoning به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه کلاسیک نوع، فصل 15 کتاب راهنمای استدلال خودکار نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه کلاسیک نوع، فصل 15 کتاب راهنمای استدلال خودکار
تئوری نوع، که در غیر این صورت به عنوان منطق مرتبه بالاتر شناخته می‌شود، توسعه‌ای از منطق مرتبه اول است که نسبت به منطق مرتبه اول برای رسمی کردن حوزه‌های خاص، مانند بخش‌هایی از ریاضیات و مشخصات سخت‌افزار و نرم‌افزار، مزایای قابل‌توجهی دارد. تعدادی نسخه از نظریه نوع توسعه داده شده است. نظریه نوع سازنده در [Barendregt and Geuvers 2001] (فصل 18 این کتاب راهنما) مورد بحث قرار گرفته است. در این فصل مقدمه‌ای بر نظریه نوع کلاسیک ارائه می‌کنیم و روش‌هایی را برای اثبات خودکار قضایای نظریه نوع کلاسیک مورد بحث قرار می‌دهیم.
توضیحاتی درمورد کتاب به خارجی
Type theory, otherwise known as higher-order logic, is an extension of first-order logic which has significant advantages over first-order logic for formalizing certain domains, such as parts of mathematics and specifications for hardware and software. A number of versions of type theory have been developed. Constructive type theory is discussed in [Barendregt and Geuvers 2001] (Chapter 18 of this Handbook). In this chapter we provide an introduction to classical type theory, and discuss methods for automatically proving theorems of classical type theory.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Emerging multinationals in emerging markets
دانلود کتاب Duty: memoirs of a Secretary at war
دانلود کتاب Forensic and Clinical Applications of Solid Phase Extraction
دانلود کتاب Environmental changes and geomorphic hazards in forests
