شاركنا تاريخ ميلادك!
تاريخ الميلاد
تاريخ الميلاد المدخل غير مكتمل يرجى ادخال تاريخ ميلاد صحيح
×
Introduction To Mathematics Of Satisfiability (Chapman & Hal
535.20 جنيه

Introduction To Mathematics Of Satisfiability (Chapman & Hal

كن أول من يقيِّم هذا المنتج 

535.20 جنيه 

  - ستوفر -535.21 جنيه
الأسعار تشمل ضريبة القيمة المضافة  التفاصيل
رقم ال ISBN
9781439801673
الفئات
شامل
الكاتب
Victor W. Marek
الناشر
Taylor & Francis
الوصف:

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 ...

اشحن الى القاهرة (تغيير المدينة)
التوصيل خلال الثلاثاء ٢٠ نوفمبر - الخميس ٢٢ نوفمبر الي القاهرة
قطعة واحدة متوفرة فقط!

حالة السلعة:
جديدة
البائع:
ACADEMICBOOKSHOP (98% تقييم ايجابي)

معلومات المنتج

  •  

    المواصفات

    رقم ال ISBN
    9781439801673
    الفئات
    شامل
    الرقم المميز للسلعة
    2724546154550
    المؤلفين
    الكاتب
    Victor W. Marek
    المؤلفين
    الناشر
    Taylor & Francis
    رقم ال ISBN
    9781439801673
    الفئات
    شامل
    الرقم المميز للسلعة
    2724546154550
    المؤلفين
    الكاتب
    Victor W. Marek
    المؤلفين
    الناشر
    Taylor & Francis
    معلومات تقنية
    غلاف الكتاب
    غلاف عادي
    اللغات والبلدان
    لغة الكتاب
    الانجليزية
    إقرأ المزيد
  •  

    الوصف:

    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

    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.

    • Introduction To Mathematics Of Satisfiability (Chapman & Hal
    • Author: Victor W. Marek
    • Publisher: Taylor & Francis.
    • Published: 2009
 

تقييمات المستخدمين

0
لا يوجد تقييمات بعد
كن أول من يقيِّم هذا المنتج
قيِّم هذا المنتج:

إعلانات مُموَّلة لك

×

الرجاء تأكيد رقم هاتفك الجوال لإكمال عملية الشراء

سنقوم بإرسال رسالة نصية تحتوي على رمز التفعيل، الرجاء التأكد من رقم هاتفك الجوال ادناه، ثم انقر على زر "أرسل رمز التفعيل".