logo

logo

logo

logo

logo

البحوث | ency

عدد النتائج: 0

آخر أخبار الهيئة :

البحوث الأكثر قراءة

هل تعلم ؟؟

عدد الزوار حاليا : 1168
الكل : 34296377
اليوم : 123874

حساب المحموَلات

حساب المحمولات   المحمولة predicate (القضية الخبرية) هي إفادة تصريحية ذات الشكل الرمزي P(x) أو P(x1, …,xn)، بمتغير واحد مثل x أو بعدد من المتغيرات مثل x1, …, xn  قيمها غير محددة. وحساب المحمولات calculus of predicates هو دراسة الإفادات التي لمتغيراتها مكممات تحددها. ويقال عن هذا الحساب إنه منطق من المرتبة الأولى لأنه يوجد منطق ذو مرتبة عالية (ثانية أو ثالثة...).
المزيد »