الحاسبات و المنطق

كتاب يجمع بين الفلسفة وتقنية الحاسوب، إذ يتناول العلاقة بين المنطق الصوري وبين أسس عمل الحاسبات الإلكترونية. يستعرض المؤلف كيفية اشتقاق العمليات الحسابية والاستدلالية من مبادئ المنطق الرياضي، ويناقش موضوعات مثل الجبر البولي، والبوابات المنطقية، وتمثيل البيانات، مع ربطها بالأسئلة الفلسفية حول طبيعة العقل والذكاء الاصطناعي. يصلح العمل للقارئ المهتم بفلسفة العلوم والتقنية، ولمن يبحث عن مدخل يوضح الأسس الفكرية التي تقوم عليها الحوسبة.