ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Introduction to Mathematics of Satisfiability (Chapman & Hall Crc Studies in Informatics)

دانلود کتاب مقدمه ای بر رضایتمندی ریاضی (مطالعات Chapman & amp؛ Hall CRC در بخش اطلاعات)

Introduction to Mathematics of Satisfiability (Chapman & Hall Crc Studies in Informatics)

مشخصات کتاب

Introduction to Mathematics of Satisfiability (Chapman & Hall Crc Studies in Informatics)

دسته بندی: آموزشی
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 1439801673, 9781439801673 
ناشر:  
سال نشر: 2009 
تعداد صفحات: 365 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 5 مگابایت

قیمت کتاب (تومان) : 28,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 21


در صورت تبدیل فایل کتاب Introduction to Mathematics of Satisfiability (Chapman & Hall Crc Studies in Informatics) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مقدمه ای بر رضایتمندی ریاضی (مطالعات Chapman & amp؛ Hall CRC در بخش اطلاعات) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مقدمه ای بر رضایتمندی ریاضی (مطالعات Chapman & amp؛ Hall CRC در بخش اطلاعات)

اگرچه این منطقه بیش از 80 سال سابقه دارد، اما تا زمان ایجاد حل‌کننده‌های کارآمد SAT در اواسط دهه 1990، اهمیت عملی پیدا کرد و کاربردهایی در اتوماسیون طراحی الکترونیکی، تأیید سخت‌افزار و نرم‌افزار، بهینه‌سازی ترکیبی و موارد دیگر پیدا کرد. مقدمه‌ای بر ریاضیات رضایت‌پذیری، با بررسی جنبه‌های نظری و عملی رضایت‌پذیری، بر رضایت‌پذیری نظریه‌های متشکل از فرمول‌های منطق گزاره‌ای تمرکز دارد. این توضیح می‌دهد که چگونه حل‌کننده‌ها و تکنیک‌های SAT برای مسائل ریاضی و علوم کامپیوتر و همچنین کاربردهای مهم در مهندسی کامپیوتر استفاده می‌شوند. این کتاب ابتدا به مبانی منطق، از جمله نحو منطق گزاره‌ای، مجموعه‌های کامل تابع‌ها، فرم‌های عادی، لم کریگ و فشردگی می‌پردازد. سپس بندها، نظریه اثبات و معناشناسی آنها، و مسائل پیچیدگی اساسی منطق گزاره ای را بررسی می کند. فصول پایانی در بازنمایی دانش، اجرای محدود ماشین‌های تورینگ و کدگذاری‌ها در SAT را پوشش می‌دهد. یکی از پیشگامان برنامه‌نویسی مجموعه پاسخ، نویسنده نشان می‌دهد که چگونه سیستم‌های رضایت از محدودیت‌ها را می‌توان توسط حل‌کننده‌های رضایت‌پذیری کار کرد و چگونه برنامه‌نویسی مجموعه پاسخ می‌تواند برای نمایش دانش استفاده شود.


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

Although this area has a history of over 80 years, it was not until the creation of efficient SAT solvers in the mid-1990s that it became practically important, finding applications in electronic design automation, hardware and software verification, combinatorial optimization, and more. Exploring the theoretical and practical aspects of satisfiability, Introduction to Mathematics of Satisfiability focuses on the satisfiability of theories consisting of propositional logic formulas. It describes how SAT solvers and techniques are applied to problems in mathematics and computer science as well as important applications in computer engineering. The book first deals with logic fundamentals, including the syntax of propositional logic, complete sets of functors, normal forms, the Craig lemma, and compactness. It then examines clauses, their proof theory and semantics, and basic complexity issues of propositional logic. The final chapters on knowledge representation cover finite runs of Turing machines and encodings into SAT. One of the pioneers of answer set programming, the author shows how constraint satisfaction systems can be worked out by satisfiability solvers and how answer set programming can be used for knowledge representation.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی