Abstract :
شهد العقد الأخير من القرن العشرين انتشار إحدى التقنيات الحاسوبية المهمة و هي تقنية المنطق المضبب و التي تعتمد أساسا على مفاهيم المجموعات المضببة و التي تعتبر أيضا المجال الأعم بالنسبة لمفاهيم المجموعات التقليدية.
يقدم هذا البحث على نحو تمهيدي، نظرية المجموعات المضببة و منطقها كنظام رياضي متكامل.
حيث تم شرح مفهوم النظرية المضببة، و تعريف عمليات المنطق المضبب، و التي تتكون من إحدى عشرة عملية أساسية.
بالإضافة إلى العمليات الأخرى التي يتضمنها الجبر المضبب.
يعد هذا البحث مدخلا لإسناد بحوث أخرى في هذا الموضوع المهم و الحيوي.
Keywords :
نظرية المنطق المضبب , العضوية , الغيرعضوية , محتواة الحتواة ضمناً , المتتم , المتتم النسبي , الاتحاد , التقاطع , الاختلاف المتماثل , الضرب الجبري , الجمع الجبري , الجمع المباشر