Sale
منطق نمادین و اثبات قضیه مکانیکی ۲۰۱۴
Symbolic Logic and Mechanical Theorem Proving 2014
دانلود کتاب منطق نمادین و اثبات قضیه مکانیکی ۲۰۱۴ (Symbolic Logic and Mechanical Theorem Proving 2014) با لینک مستقیم و فرمت pdf (پی دی اف)
| نویسنده |
Chin-Liang Chang,Richard Char-Tung Lee |
|---|
ناشر:
Academic Press
۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید
| سال انتشار |
2014 |
|---|---|
| زبان |
English |
| تعداد صفحهها |
331 |
| نوع فایل |
|
| حجم |
13 Mb |
🏷️ قیمت اصلی: 200,000 تومان بود.129,000 تومانقیمت فعلی: 129,000 تومان.
هوشمصنوعی ترجمه کالیبو
توضیحات
معرفی کتاب منطق نمادین و اثبات قضیه مکانیکی ۲۰۱۴
این کتاب شامل مقدمه ای بر منطق نمادین و بحثی جامع در مورد اثبات قضایای مکانیکی و کاربردهای آن است. این کتاب از سه بخش اصلی تشکیل شده است. فصل های 2 و 3 مقدمه ای بر منطق نمادین ارائه می دهند. فصل های 4 تا 9 چندین تکنیک در اثبات قضایای مکانیکی را معرفی می کنند، و فصل های 10 و 11 نشان می دهند که چگونه اثبات قضایای مکانیکی می تواند در زمینه های مختلفی مانند پاسخ به سوالات، حل مسئله، تحلیل برنامه و سنتز برنامه استفاده شود.
فهرست کتاب:
۱. روی جلد
۲. منطق صوری و اثبات قضیه ماشینی
۳. صفحه حقوق مولف
۴. فهرست مطالب
۵. تقدیمنامه
۶. پیشگفتار
۷. سپاسگزاری
۸. فصل ۱. مقدمه
۹. فصل ۲. منطق گزارهای
۱۰. فصل ۳. منطق مرتبه اول
۱۱. فصل ۴. قضیه هرباند
۱۲. فصل ۵. اصل تجزیه
۱۳. فصل ۶. تجزیه معنایی و تجزیه قفلی
۱۴. فصل ۷. تجزیه خطی
۱۵. فصل ۸. رابطه تساوی
۱۶. فصل ۹. برخی از رویههای اثبات مبتنی بر قضیه هرباند
۱۷. فصل ۱۰. تحلیل برنامه
۱۸. فصل ۱۱. پاسخگویی قیاسی به پرسش، حل مسئله و ترکیب برنامه
۱۹. فصل ۱۲. سخن پایانی
۲۰. پیوست الف
۲۱. پیوست ب
۲۲. کتابنامه
۲۳. فهرست
توضیحات(انگلیسی)
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.
Table of Contents
1. Front Cover
2. Symbolic Logic and Mechanical Theorem Proving
3. Copyright Page
4. Table of Contents
5. Dedication
6. Preface
7. Acknowledgments
8. Chapter 1. Introduction
9. Chapter 2. The Propositional Logic
10. Chapter 3. The First-Order Logic
11. Chapter 4. Herbrand's Theorem
12. Chapter 5. The Resolution Principle
13. Chapter 6. Semantic Resolution and Lock Resolution
14. Chapter 7. Linear Resolution
15. Chapter 8. The Equality Relation
16. Chapter 9. Some Proof Procedures Based on Herbrand's Theorem
17. Chapter 10. Program Analysis
18. Chapter11. Deductive Question Answering, Problem Solving, and Program Synthesis
19. Chapter 12. Concluding Remarks
20. Appendix A
21. Appendix B
22. Bibliography
23. INDEX
دیگران دریافت کردهاند
✨ ضمانت تجربه خوب مطالعه
بازگشت کامل وجه
در صورت مشکل، مبلغ پرداختی بازگردانده می شود.
دانلود پرسرعت
دانلود فایل کتاب با سرعت بالا
ارسال فایل به ایمیل
دانلود مستقیم به همراه ارسال فایل به ایمیل.
پشتیبانی ۲۴ ساعته
با چت آنلاین و پیامرسان ها پاسخگو هستیم.
ضمانت کیفیت کتاب
کتاب ها را از منابع معتیر انتخاب می کنیم.
