المنطق للمبرمجين: مقدمة سهلة لحساب المتتاليات
2025-01-22
هذه المشاركة، وهي الأولى في سلسلة عن المنطق، تقدم حساب المتتاليات كنظام قوي للتفكير. باستخدام تدوين Gentzen، يشرح الكاتب كيفية تمثيل الاستنتاجات المنطقية رمزياً، مع تغطية قواعد الاستنتاج، وأشجار الاشتقاق، والمتغيرات الوهمية. وتقارن المقالة حساب المتتاليات، والاستنتاج الطبيعي للمتتاليات، والاستنتاج الطبيعي، وتتناول حساب المتتاليات من جانب واحد والمنطق الحدسي. وأخيراً، تقدم بإيجاز مصطلحات الإثبات في المنطق الحدسي وعلاقتها بحساب لامدا ذي النوع الواحد.