تصنيف:المنطق في علوم الحاسب
المنطق في علوم الحاسب (أو المنطق الحسابي) هو ذلك الفرع من المنطق الرياضي الذي هو تقريباً التقاطع بين المنطق الرياضي و علوم الحاسب. أنه يحتوي على:
- تلك البحوث في المنطق التي تسترشد بالتطبيقات في علوم الحاسب. على سبيل المثال:
- أنظمة إعادة الكتابة، المنطق التوافقي و التفسير المجرد;
- المفاهيم الأساسية في علوم الحاسب التي يمكن التعبير عنها بشكل طبيعي في شكل منطقي. على سبيل المثال:
- نظرية الأنواع (تُستخدم في أنظمة الأنواع)، الدلالات الاصطلاحية للغات البرمجة، منطق هور، و البرمجة المنطقية;
- تطبيقات المفاهيم الأساسية المشتقة من نظرية الحساب التي تلقي الضوء على أسئلة المنطق البحت. على سبيل المثال:
- أدوات لعلماء المنطق تعتبر علوم الحاسب التطبيقية. على سبيل المثال:
المقالات في التصنيف "المنطق في علوم الحاسب"
الصفحة التالية مصنّفة بهذا التصنيف، من إجمالي 1.