logo

logo

logo

logo

logo

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

حساب محمولات

Calculus of predicates - Calcul des prédicats

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

اقرأ المزيد »




التصنيف : الرياضيات و الفلك
النوع : علوم
المجلد : المجلدالثامن
رقم الصفحة ضمن المجلد : 283

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

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

هل تعلم ؟؟

عدد الزوار حاليا : 1023
الكل : 58468562
اليوم : 41076

بوالو (نيقولا-)

بوالو (نيقولا ـ) (1636 ـ 1711)   نيقولا بوالو Boileau Nicolas ناقد وشاعر فرنسي، ينحدر من عائلة برجوازيّة برلمانيّة باريسية، وهو أحد ستة عشر ولداً لأبيه. وقد أطلقت العائلة في وقت مبكر على الطفل نيقولا لقب ديبريو Despréaux نسبة إلى اسم أرض تمتلكها أسرته. ويبدو أن طفولة نيقولا لم تكن سعيدة إذ توفيت والدته وهو لا يزال في شهره العشرين. ولم يعرف طعم العلاقات الإنسانية إلا من خلال مدرسة بوفيه Beauvais حيث بدأ هناك بدراسة اللاهوت ثم القانون ليصبح بعدها محامياً لم يرافع عن أي قضية رسمياً أبداً. كان أحد أشقائه المدعو جيل Gilles الذي يكبره بخمس سنوات كاتباً هجائيّاً وعضواً في الأكاديمية الفرنسية منذ عام 1659.
المزيد »