Theory of Computing

Module 1

Math Preliminaries

المجموعات، العلاقات، الرسوم البيانية، وطرق الإثبات.

Module 2

Finite Automata

الآلات المحدودة بنوعيها (DFA & NFA) والتحويل بينها.

Module 3

RegEx & Outputs

التعابير المنتظمة، وآلات Mealy و Moore.

Module 4

Properties of RL

Pumping Lemma للغات المنتظمة وتبسيط الـ DFA.

Module 5

Context-Free Grammars

القواعد الخالية من السياق، الاشتقاق، والغموض.

Module 6

Pushdown Automata

الأوتوماتا ذات المكدس (PDA) وعلاقتها بالـ CFGs.

Module 7

Properties of CFLs

الشكل القياسي (CNF) و Pumping Lemma للـ CFLs.

Module 8

Turing Machines

مقدمة في آلة تورنغ، الشريط اللانهائي، والتعريف الرسمي.

Module 9

TM Extensions

آلات متعددة الأشرطة، غير الحتمية، والآلة الشاملة (UTM).

Module 10

Undecidability

مشكلة التوقف (Halting Problem) واللغات غير القابلة للحل.

Module 11

Intractable (P vs NP)

التعقيد الحسابي، مشاكل NP-Complete، ونظرية كوك.

Module 12

Advanced Complexity

مشاكل SAT، الغطاء الرأسي، والتعقيد المكاني (PSPACE).

Module 13

Propositions & Predicates

المنطق الرياضي، قواعد الاستنتاج، والمكممات.

🎓 FINAL REVIEW

The Grand Finale

المراجعة النهائية لما بعد المنتصف (Modules 6 - 13).
Theorems, Hierarchies & Undecidability

📝 EXAM

اختبار نهائي تجريبي

اختبر معلوماتك وتجهز للنهائي.
Simulated Questions & Grading

🗺️ MAP

خريطة النجاة والتميز

الملخص النهائي الشامل (Cheat Sheet).
Definitions, Traps & Golden Tables