آلة تورنغ ونظرية القابلية للحساب: تجربة آلان تورنغ الفكرية و'مشكلة التوقف'
التصنيفات
70 صفحات
علوم الحاسوب
الأوتوماتا ونظرية اللغات الشكلية: ما وراء التعابير النمطية وتسلسل تشومسكي
حساب لامدا (Lambda Calculus) وأصول البرمجة الوظيفية: من نظرية ألونزو تشيرش إلى Lisp وHaskell
مشكلة P مقابل NP وفئات التعقيد الحسابي: شرح لمسألة جوائز الألفية وأهميتها في البرمجة
لعبة الحياة لكونواي: إنسان آلي خلوي تنبثق فيه تعقيدات شبيهة بالحياة من قواعد بسيطة
مبرهنة الألوان الأربعة (Four Color Theorem) - هل يمكن تلوين أي خريطة بأربعة ألوان؟
مبرهنات عدم الاكتمال لغودل: إثبات رياضي لـ "حقيقة لا يمكن إثباتها أبدًا"
مشكلة التوقف (Halting Problem): البرنامج الأقوى الذي لا يمكن صنعه أبدًا
خوارزمية كشف الحلقات لروبرت فلويد (خوارزمية الأرنب والسلحفاة)
حدود التحليل إلى العوامل الأولية وشرح تدوين بيغ أو (O) لتعقيد الوقت
