معلومات مقرر دراسي

يهدف المقرر إلى تمكين الطالب من التحكم في آليات الحساب المنطقي القائم على الرمزية والصورية التامتين خلاف المنطق التقليدي حيث الاستدلال يعتمد على اللغة الطبيعية.

يدرس الطالب:

1) حساب (منطق) القضايا غير المحللة.

2) حساب المحمولات

3) حساب العلاقات

4) حساب الفئات