أسس نظرية الحوسبة

استكشف المفاهيم الأساسية لنظرية الحوسبة، بما في ذلك الآلات التجريدية مثل الآلات المنتهية والانتقالية. تعلم كيفية تحليل لغات البرمجة وأنظمة التحقق باستخدام قواعد الانتقال والتعبيرات النظامية. اكتشف كيفية عمل آلات الدفع Pushdown Automata في تحليل بناء الجمل، وتقييم حدود آلة تورنغ من خلال فهم مفاهيم decidability وundecidability. كما ستتعلم تصنيف المشكلات وفقًا لفئات التعقيد الحسابي مثل P وNP وNP-Complete، وتصميم خوارزميات فعالة تتناسب مع حدود القدرة الحسابية للمشكلات المعقدة.