نبذة عن الدورة التدريبية
دورة نظرية الحوسبة Computation Theory يقدم فهمًا عميقًا للأسس الرياضية والمنطقية التي تقوم عليها علوم الحاسوب. يبدأ كورس نظرية الحوسبة Computation Theory بمدخل إلى الآلة التجريدية مثل الآلات المنتهية Finite Automata، وكيفية استخدامها لنمذجة الأنظمة البسيطة والتعرف على الأنماط. ثم ينتقل إلى قواعد الانتقال، التعبيرات النظامية، وعلاقتها بلغات البرمجة وأنظمة التحقق.
بعدها يستعرض الكورس الآلات الدافعة Pushdown Automata لفهم اللغات السياقية وكيف تُستخدم في تحليل بناء الجمل Parsing داخل المترجمات. كما يتم التعمق في آلة تورنغ Turing Machine بوصفها النموذج الأقوى للحوسبة، مع دراسة حدود ما يمكن للآلة أن تحله عبر مفاهيم مثل decidability وundecidability.
يتناول الكورس أيضًا نظريات التعقيد الحسابي مثل الفئات P وNP وNP-Complete، وكيف تحدد هذه المفاهيم صعوبة حل المشكلات. في نهاية الدورة، يكتسب المتعلم قدرة قوية على تحليل المشاكل من منظور نظري، وفهم كيفية تصميم خوارزميات فعّالة ضمن حدود القدرة الحسابية,الدورة مجانية وبشهادة معتمدة. المهندس عبدالرحمن الفقي Computation Theory
ملحقات الدرس
