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