تفاصيل الوثيقة نوع الوثيقة : رسالة جامعية  عنوان الوثيقة : بعض التوسيعات في المشبعية البولانية مع تطبيقاتها SOME EXTENSIONS OF BOOLEAN SATISFIABILITY WITH APPLICATIONS   الموضوع : كلية الهندسة  لغة الوثيقة : العربية  المستخلص : يمكن تعريف المشبعية البولانية بأنها مسألة بحث يبحث المرء خلالها عن حل يستوفي مطلوبات محددة وليس ثمة وسيلة للعثور على مثل هذا الحل باتباع طريقة معينة ، ولكن من المطلوب اتباع وسيلة ذكية لإيجاد حل خاص ينتمي للمجموعة التى تشمل جميع الحلول الممكنة فى فضاء البحث. إن كفاءة أي خوارزمية لحل مسألة المشبعية تقاس بمدى الاختزال الممكن تحقيقه في ذلك الجزء من فضاء البحث المراد اجتيازه. ويمكن تبسيط المسألة بصورة واضحة باستخدام الاستدلال القبلي والاستدلال الوسيط . إن البرامج المحاسبية المستخدمة لحل مسألة المشبعية تعرف باسم حلالات المشبعية . تدرس هذه الرسالة حلالات المشبعية بالإضافة إلى وسائل المعالجة القبلية التي تحسن كثيرًا من أدائها . إن الإسهام الرئيس لهذه الرسالة هو توسعة مجال المشبعية البولانية الجاسئة فى الجبر البولاني ثنائي القيمة ليشمل مجالي : (أ) أنواع الجبر البولاني الكبير، (ب) كذلك استكشاف التطبيقات المختلفه لهذه التوسعة .  المشرف : د. على رشدي  نوع الرسالة : رسالة دكتوراه  سنة النشر : 1439 هـ 2017 م  تاريخ الاضافة على الموقع : Wednesday, December 6, 2017  الباحثون اسم الباحث (عربي) اسم الباحث (انجليزي) نوع الباحث المرتبة العلمية البريد الالكتروني وليد احمد Ahmad, Waleed باحث دكتوراه   الملفات اسم الملف النوع الوصف  42931.pdf pdf   الرجوع إلى صفحة الأبحاث