المقالات | جامعة عباس لغرور خنشلة

فرقة البحث 4:النماذج والحسابات والخوارزميات والإثبات

النماذج الحسابية – الحسابات – الخوارزميات والتعقيد – قابلية القرار – اللغات الرسمية – علم الدلالات – التحقق – الإثبات – الاختبار.

.1 رئيس الفريق: د. معروق توفيق مسعود

CV-Maarouk-Ar

*اسم العائلة الاسم الأول*	*أحدث دبلوم*	*درجة*	*تخصص*	*هيكل المرفق*
رشيد مشراوي	التأهيل	بروفيسور	الرياضيات	جامعة خنشلة
باديس عبد الحفيظ	التأهيل	أ محاضر أ	الرياضيات	جامعة خنشلة
صيام عبد الرحيم	التأهيل	أ محاضر أ	علوم الكمبيوتر	جامعة خنشلة
سويدي محمد الحبيب	التأهيل	أ محاضر أ	علوم الكمبيوتر	جامعة خنشلة
طيورة عبد الحميد	دكتوراه	أ محاضر ب	علوم الكمبيوتر	جامعة خنشلة
لدمي عبد الجليل	دكتوراه	أ محاضر ب	علوم الكمبيوتر	جامعة خنشلة
عبد الكريم عبد الحليم	دكتوراه	أ محاضر ب	الرياضيات	جامعة خنشلة
مشراوي خليل	دكتوراه	أ محاضر ب	علوم الكمبيوتر	مدرسة ن ف.
مسعودي نبيل	دكتوراه	أ محاضر ب	الرياضيات	جامعة خنشلة
شتوح عبد الجليل	دكتوراه	أ محاضر ب	الرياضيات	جامعة خنشلة
سلامة سفيان	ماجستر	أ مساعد أ	علوم الكمبيوتر	جامعة خنشلة
بوسعادة مراد	ماجستر	أ مساعد أ	الرياضيات	جامعة خنشلة
اشيشي احلام	ماجستر	أ مساعد أ	الرياضيات	جامعة خنشلة
صبج سمرة	ماستر	طالب دكتوراه	علوم الكمبيوتر	جامعة خنشلة
فوغالي يوسف	ماستر	طالب دكتوراه	علوم الكمبيوتر	جامعة خنشلة
سفير سمير	ماستر	طالب دكتوراه	علوم الكمبيوتر	جامعة خنشلة
نور مروة	ماستر	طالب دكتوراه	الرياضيات	جامعة خنشلة
نجيبي خولة	ماستر	طالب دكتوراه	علوم الكمبيوتر	جامعة خنشلة
لاسامي فريال	ماستر	طالب دكتوراه	علوم الكمبيوتر	جامعة خنشلة
أوسيف عبد الكريم	ماستر	طالب دكتوراه	علوم الكمبيوتر	جامعة خنشلة

خطوط البحث

فريق04

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

ملفات:

نشر:

إنضم إلى جامعة خنشلة

استراتيجيتنا بسيطة: إنشاء مكان يمكن فيه لأفضل الباحثين والطلاب الواعدين تحقيق إمكاناتهم الكاملة.

اتصل بنا