PhD Electronics and Computer Science
PhD
Logic In Computer Science
المملكة المتحدة
36 شهر
وصف البرنامج
يدرس المنطق في علوم الحاسوب الاستدلال الصوري في تطبيقه على البرامج والآلات: أنظمة البرهان ولغات التوصيف والتحقق ونظرية الأنماط، وحدود ما يمكن حسابه أو البتّ فيه. العمل فيه صارم ورمزي. ينتقل الخريجون غالبًا إلى التحقق البرمجي وتصميم المترجمات ولغات البرمجة وأبحاث الأمن وعلوم الحاسوب الأكاديمية.
تفاصيل البرنامج
مجال الدراسة
Logic In Computer Science
المستوى
PhD
المدة
36 شهر
لغة التدريس
الإنجليزية
هل تحتاج مساعدة؟
فريقنا من المستشارين جاهز لمساعدتك