النماذج الحسابية – الحسابات – الخوارزميات والتعقيد – قابلية القرار – اللغات الرسمية – علم الدلالات – التحقق – الإثبات – الاختبار.
رئيس الفريق 4: د. معروق توفيق مسعود
خطوط البحث
|
فريق04 |
الهدف الأول لهذا الموضوع المتنوع هو دراسة قوة نماذج الحساب الكلاسيكية (آلات تورينج، الدوال العودية، حساب لامدا، إلخ) وبعض النماذج غير الكلاسيكية مثل الأتوماتا الخلوية وأنظمة إعادة الكتابة أو نماذج أخرى من الفيزياء. أحد الأسئلة الأكثر طبيعية التي تنشأ هو مسألة القابلية الحسابية وقابلية القرار، وسؤال أساسي آخر هو ما إذا كان النموذج الحسابي مناسبًا لنمذجة الأنظمة. ثم نتحدث عن التعبير. في هذا السياق، هناك مجالان متميزان للبحث يجب دراستهما: الخوارزميات والإثبات.
