مشروع منطق المتغيرات ثنائية القيمة
هذا المشروع يهدف الى تعميم منطق القضايا بادخال الاعداد الصحيحة الي ابجديته لتمكينه من وسائل العد الذي يفتقدها. وهو مشروع بحثي نظري له تطبيقات عملية هامة. النتائج التطبيقية الاولية جيدة و يمكن العمل علي تطويرها. و من التطبيقات العملية لهذا المشروع حل مسآلة SAT
الفريق
المنشورات
- Resolution Proof System for Constrained Pseudo-propositional Logic
- Constrained Pseudo-Propositional Logic
- Pseudo-Propositional Logic
اعلانات
يسعدنا استقبال طلبات الانضمام إلى المشروع من الراغبين ممّن يمتلكون الكفاءة والخبرة المناسبة، وذلك عبر إرسال السيرة الذاتية من خلال صفحة اتصل بنا. كما يرحّب القسم باستقبال طلبات ذوي الخبرة القيادية للإشراف على المشروع وتشمل مهام المشرف وسماته الأساسية ما يأتي:- امتلاك روح المبادرة والحماس، والقدرة على خلق بيئة إيجابية محفّزة لأعضاء الفريق.
- التنسيق بين جميع أعضاء المشروع لضمان تواصل واضح وسلس بينهم.
- تنظيم التواصل بين فريق العمل وتسهيل التعاون.
- متابعة جودة العمل والالتزام بالمعايير التحريرية والأكاديمية بما في ذلك المراجعة اللغوية والنحوية، وضبط التنسيق والمراجع.