دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Introduction to Propositional Satisfiability
دانلود کتاب مقدمه ای بر رضایت پذیری گزاره ها
مشخصات کتاب
Introduction to Propositional Satisfiability
ویرایش:
نویسندگان: Victor Marek
سری: Studies in Logic
ISBN (شابک) : 1848901399, 9781848901391
ناشر: College Publications
سال نشر: 2014
تعداد صفحات: 377
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 37 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب مقدمه ای بر رضایت پذیری گزاره ها: الگوریتم ها، ساختارهای داده، ژنتیک، مدیریت حافظه، برنامه نویسی، کامپیوتر و فناوری، منطق، ریاضیات محض، ریاضیات، علوم و ریاضیات، منطق و زبان، فلسفه، سیاست و علوم اجتماعی
در صورت تبدیل فایل کتاب 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Jesus Family Tomb: The Discovery, the Investigation, and the Evidence That Could Change History
دانلود کتاب Methods of Biochemical Analysis Vol 3
دانلود کتاب British Realist Theatre: New Wave in its Context, 1956-1965
