logo

logo

logo

logo

logo

الأطلس الجغرافي


آسيا

Asia
Asie

افريقية

Africa
Afrique

أوربة

Europe
Europe

أمريكا الشمالية

North America
Amérique du Nord

أمريكا الجنوبية

South America
Amérique du Sud

أوقيانوسية

Oceania
Océanie

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

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

هل تعلم ؟؟

عدد الزوار حاليا : 1092
الكل : 40422105
اليوم : 96773

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

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