logo

logo

logo

logo

logo

البحوث | ency

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

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

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

هل تعلم ؟؟

عدد الزوار حاليا : 589
الكل : 31828607
اليوم : 28150

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

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