النحو الخفي للعقل والآلة

مدخل مبسط إلى الأنظمة الشكلية في علوم الحاسب

د. محمد عادل الباز — مركز نهر النيل للنشر والتوزيع والترجمة

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

الحصول على الكتاب من موقع الناشر

A simplified Arabic introduction to formal systems and formal verification. It opens with Al-Khalil in Basra’s copper market and travels from intuition to symbol to proof — through logic, modeling, and how we check that machines behave as intended.