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

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

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

هل تعلم ؟؟

عدد الزوار حاليا : 1066
الكل : 40776483
اليوم : 11215

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

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