إرضاء القيود ونشرها
ما الذي يتغيّر حين تصف المسألة بمتغيّرات ومجالات وقيود بدل وصفها صندوقًا أسود: إبدالية تقلّص الشجرة بلا ثمن، ونشرٌ يبرهن أن فروعًا ميؤوس منها قبل البحث فيها، وقياسٌ يبيّن أن أشهر الإرشادات الترتيبية لا يفعل شيئًا بمفرده.
7 مقالات.
ما الذي يتغيّر حين تصف المسألة بمتغيّرات ومجالات وقيود بدل وصفها صندوقًا أسود: إبدالية تقلّص الشجرة بلا ثمن، ونشرٌ يبرهن أن فروعًا ميؤوس منها قبل البحث فيها، وقياسٌ يبيّن أن أشهر الإرشادات الترتيبية لا يفعل شيئًا بمفرده.
تحويل المسألة إلى فضاء حالات وترك خوارزمية تجوبه: ما تكلّفه فعلًا كلٌّ من التمام والأمثلية، ولماذا تهزم الذاكرةُ لا الزمنُ البحثَ بالعرض، والشرطان على الاستدلال اللذان يجعلان A* أمثل بالبرهان.
الطبقات بوصفها تحويلات مُبارَمة، والمرور الأمامي، ولماذا ليست العمقُ واللاخطية اختياريتين: برهان على أن طبقة خطية واحدة لا تستطيع حساب XOR، وشبكة من طبقتين تفعل ذلك، محلولة يدوياً بالكامل.
كيف يصير النص أرقاماً يستطيع النموذج التدرّب عليها: بناء مفردات، ولماذا لا يحتاج ترميز أزواج البايتات إلى وحدة «مجهول» قط، وطبقة التضمين بوصفها استرجاعاً يمكن البرهان على أنه متجه أحادي مضروب في مصفوفة، ولماذا يجب إعادة حقن الموضع يدوياً.
بناء الاحتمالات من الأساس: العوالم الممكنة، وفضاء العيّنة، والبديهيتان الأساسيتان، ثم قاعدتا الجمع والضرب، كلٌّ منها مشتقّة لا مُسلَّم بها، مع أمثلة عددية محلولة.
الإطار الكامن وراء كل نموذج تنبّؤي: تقدير دالة مجهولة f من البيانات، والفصل بين الخطأ القابل للتقليص وغير القابل له، ولماذا يشدّ التنبّؤ والاستدلال في اتجاهين متعاكسين.
اشتقاق معاملات المربّعات الصغرى باشتقاق مجموع مربّعات البواقي، ثم تنفيذ ملاءمة كاملة على خمس مشاهدات يدوياً: المعاملات والقيم المُلائَمة والبواقي وRSS ومعامل التحديد، وكلٌّ منها متحقَّق منه عددياً.