توضیحات
Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that the domains of variables are finite. As such, propositional logic finds applications in describing problems stemming from computer science, computer engineering and combinatorial optimization. But logic goes beyond just providing descriptive means – it is supported by mechanisms for computation of answers. At present there is a class of software systems, SAT solvers, that allow (given enough of resources) for solving problems expressed in propositional logic. This book studies syntax, semantics, and algorithms for finding solutions of problems expressible in propositional logic. It is addressed to individuals who want to understand the principles on which SAT solvers are based and gain a deeper understanding of techniques used in logic-based solving
————————————————————–
ترجمه ماشینی :
منطق گزاره ای امکان توصیف و سپس حل یک کلاس قابل توجه از مسائل رضایت محدودیت را فراهم می کند، یعنی آنهایی که مستلزم محدود بودن دامنه متغیرها هستند. به این ترتیب، منطق گزاره ای کاربردهایی در توصیف مسائل ناشی از علوم کامپیوتر، مهندسی کامپیوتر و بهینه سازی ترکیبی پیدا می کند. اما منطق فراتر از ارائه ابزارهای توصیفی است – این منطق توسط مکانیسم هایی برای محاسبه پاسخ ها پشتیبانی می شود. در حال حاضر یک کلاس از سیستم های نرم افزاری، حل کننده های SAT، وجود دارد که (با توجه به منابع کافی) برای حل مسائل بیان شده در منطق گزاره ای اجازه می دهد. این کتاب به بررسی نحو، معناشناسی و الگوریتمها برای یافتن راهحلهای مسائل قابل بیان در منطق گزارهها میپردازد. این خطاب به افرادی است که میخواهند اصولی را که حلکنندههای SAT مبتنی بر آنها هستند، درک کنند و درک عمیقتری از تکنیکهای مورد استفاده در حلهای مبتنی بر منطق به دست آورند.
tag : دانلود کتاب مقدمه ای بر رضایت پذیری گزاره ها , Download مقدمه ای بر رضایت پذیری گزاره ها , دانلود مقدمه ای بر رضایت پذیری گزاره ها , Download Introduction to Propositional Satisfiability Book , مقدمه ای بر رضایت پذیری گزاره ها دانلود , buy مقدمه ای بر رضایت پذیری گزاره ها , خرید کتاب مقدمه ای بر رضایت پذیری گزاره ها , دانلود کتاب Introduction to Propositional Satisfiability , کتاب Introduction to Propositional Satisfiability , دانلود Introduction to Propositional Satisfiability , خرید Introduction to Propositional Satisfiability , خرید کتاب Introduction to Propositional Satisfiability ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.