logo

logo

logo

logo

logo

أسماء الباحثين


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

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

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

هل تعلم ؟؟

عدد الزوار حاليا : 544
الكل : 31815842
اليوم : 15385

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

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