النماذج الرياضية للحساب والأتمتة

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

• إتقان الآلات النهائية وآلات الدفع وآلات تuring لتحليل حدود الحوسبة
• فهم قابلية الحوسبة وتعقيد المشكلة والـ NP-الكماليات
• تطبيق تقنيات الإثبات والمنطق لتشكيل النماذج الحسابية وتحليل الخوارزميات
• بناء التعبيرات النظامية والقواعد الحرة السياق لحل مشكلات تحليل الأنماط

• الإلمام الأساسي بالمفاهيم والمصطلحات ذات الصلة
• الاستعداد للمشاركة في التمارين التطبيقية