Sale
اثبات قضیه خودکار: مبنایی منطقی ۲۰۱۶
Automated Theorem Proving: A Logical Basis 2016
دانلود کتاب اثبات قضیه خودکار: مبنایی منطقی ۲۰۱۶ (Automated Theorem Proving: A Logical Basis 2016) با لینک مستقیم و فرمت pdf (پی دی اف) و ترجمه فارسی
| نویسنده |
D.W. Loveland |
|---|
ناشر:
Elsevier
۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید
| سال انتشار |
2016 |
|---|---|
| زبان |
English |
| تعداد صفحهها |
418 |
| نوع فایل |
|
| حجم |
22.3 MB |
🏷️ قیمت اصلی: 200,000 تومان بود.129,000 تومانقیمت فعلی: 129,000 تومان.
هوشمصنوعی ترجمه کالیبو
توضیحات
معرفی کتاب اثبات قضیه خودکار: مبنایی منطقی ۲۰۱۶
برهانآوری خودکار قضایا: مبنایی منطقی
فهرست کتاب:
۱. روی جلد
۲. اثبات خودکار قضیه: مبنایی منطقی
۳. صفحه حق تکثیر
۴. فهرست مطالب
۵. تقدیم
۶. پیشگفتار
۷. سپاسگزاری
۸. فصل ۱. نقش سیستمهای منطقی
۹. فصل ۲. استلزام پایه
۱۰. فصل ۳. پالایشهای استلزام
۱۱. فصل ۴. شمول
۱۲. فصل ۵. استلزام با تساوی
۱۳. فصل ۶. استلزام و قالب کاهش مسئله
۱۴. پیوست: رویههای مبتنی بر استلزام
۱۵. مراجع
۱۶. جدول نمادها
۱۷. فهرست نمایه
توضیحات(انگلیسی)
Automated Theorem Proving: A Logical Basis
Table of Contents
1. Front Cover
2. Automated Theorem Proving: A Logical Basis
3. Copyright Page
4. Table of Contents
5. Dedication
6. PREFACE
7. ACKNOWLEDGEMENTS
8. CHAPTER 1. THE ROLE OF LOGICAL SYSTEMS
9. CHAPTER 2. BASIC RESOLUTION
10. CHAPTER 3. REFINEMENTS OF RESOLUTION
11. CHAPTER 4. SUBSUMPTION
12. CHAPTER 5. RESOLUTION WITH EQUALITY
13. CHAPTER 6. RESOLUTION AND PROBLEM REDUCTION FORMAT
14. APPENDIX: Resolution-based procedures
15. REFERENCES
16. TABLE OF SYMBOLS
17. INDEX
دیگران دریافت کردهاند
سایر کتابهای ناشر
✨ ضمانت تجربه خوب مطالعه
بازگشت کامل وجه
در صورت مشکل، مبلغ پرداختی بازگردانده می شود.
دانلود پرسرعت
دانلود فایل کتاب با سرعت بالا
ارسال فایل به ایمیل
دانلود مستقیم به همراه ارسال فایل به ایمیل.
پشتیبانی ۲۴ ساعته
با چت آنلاین و پیامرسان ها پاسخگو هستیم.
ضمانت کیفیت کتاب
کتاب ها را از منابع معتیر انتخاب می کنیم.
