توصيف المقررحسب دليل الطالب
المحتوى العلمي والمتطلبات
٣ساعات
الساعات المعتمدة
تُحسب ضمن مجموع ٦٠ ساعة المطلوبة للتخرج.
المتطلب السابق
لا يوجد — يمكن تسجيله مباشرة.
يفتح لك المقررات
ليس متطلباً لمقررات أخرى.
محاور المقرر
٧ محاور- ١الأوتوماتا المنتهية
- ٢أوتوماتا المكدس
- ٣آلات تورنج
- ٤اللغات المنتظمة واللغات الخالية من السياق
- ٥اللغات العودية والقابلة للعد العودي
- ٦أطروحة تشرش وحدود قابلية الحساب
- ٧إثبات خصائص البرامج وصحتها