مشخصات کتاب

Introduction to Propositional Satisfiability

ویرایش:  
نویسندگان: Victor Marek  
سری: Studies in Logic 
ISBN (شابک) : 1848901399, 9781848901391 
ناشر: College Publications 
سال نشر: 2014 
تعداد صفحات: 377 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 37 مگابایت 

کلمات کلیدی مربوط به کتاب مقدمه ای بر رضایت پذیری گزاره ها: الگوریتم ها، ساختارهای داده، ژنتیک، مدیریت حافظه، برنامه نویسی، کامپیوتر و فناوری، منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، منطق و زبان، فلسفه، سیاست و علوم اجتماعی

در صورت تبدیل فایل کتاب Introduction to Propositional Satisfiability به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مقدمه ای بر رضایت پذیری گزاره ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب مقدمه ای بر رضایت پذیری گزاره ها

منطق گزاره ای امکان توصیف و سپس حل یک کلاس قابل توجه از مسائل رضایت محدودیت را فراهم می کند، یعنی آنهایی که مستلزم محدود بودن دامنه متغیرها هستند. به این ترتیب، منطق گزاره ای کاربردهایی در توصیف مسائل ناشی از علوم کامپیوتر، مهندسی کامپیوتر و بهینه سازی ترکیبی پیدا می کند. اما منطق فراتر از ارائه ابزارهای توصیفی است - این منطق توسط مکانیسم هایی برای محاسبه پاسخ ها پشتیبانی می شود. در حال حاضر یک کلاس از سیستم های نرم افزاری، حل کننده های SAT، وجود دارد که (با توجه به منابع کافی) برای حل مسائل بیان شده در منطق گزاره ای اجازه می دهد. این کتاب به بررسی نحو، معناشناسی و الگوریتم‌ها برای یافتن راه‌حل‌های مسائل قابل بیان در منطق گزاره‌ها می‌پردازد. این خطاب به افرادی است که می‌خواهند اصولی را که حل‌کننده‌های SAT بر آن‌ها بنا شده‌اند، درک کنند و درک عمیق‌تری از تکنیک‌های مورد استفاده در حل‌های مبتنی بر منطق به دست آورند.

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

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.

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

کتاب های تصادفی

دانلود کتاب Drug-biomembrane interaction studies: The application of calorimetric techniques

دانلود کتاب Genghis Khan and the Making of the Modern World

دانلود کتاب Studies in Deficiency Disease

دانلود کتاب IT’s hidden face: Everything you always wanted to know about Information Technology. A look behind the scenes

دانلود کتاب Before Lawrence v. Texas: The Making of a Queer Social Movement