ارسل ملاحظاتك

ارسل ملاحظاتك لنا







الرئيسية > نسق منطق الجهة المكمم عند روث...>الوصف

نسق منطق الجهة المكمم عند روث باركان ماركوس

العنوان بلغة أخرى: The System Quantified Modal Logic of Ruth Barcan Marcus
المصدر: مجلة كلية الآداب
الناشر: جامعة سوهاج - كلية الآداب
المؤلف الرئيسي: أحمد، عمرو أحمد السيد (مؤلف)
المؤلف الرئيسي (الإنجليزية): Alsayed, Omaar
المجلد/العدد: ع57, ج2
محكمة: نعم
الدولة: مصر
التاريخ الميلادي: 2020
الشهر: أكتوبر
الصفحات: 513 - 547
ISSN: 1110-7839
رقم MD: 1129531
نوع المحتوى: بحوث ومقالات
اللغة: العربية
قواعد المعلومات: HumanIndex
مواضيع:
المنطق | الفلسفة الغربية | ماركوس، روث باركان، ت. 2012 م.
رابط المحتوى:
PDF (صورة)     
صورة الغلاف QR قانون

عدد مرات التحميل

10

حفظ في:
المستخلص: هدف البحث إلى التعرف على نسق منطق الجهة المكمم عند روث باركان ماركوس. تم استخدام المنهج التحليلي. انقسم البحث إلى ثلاث عناصر، تناول العنصر الأول مفهوم النسق المنطقي، وبين العنصر الثاني تعريف منطق الجهة المكمم، وأشار العنصر الثالث إلى مكونات نسق الجهة المكمم عند ماركوس، وتضمن المقدمات، وقواعد الاستنباط. توصل البحث إلى عدة نتائج أهمها أن روث ماركوس واحدة من أكبر وأهم رواد منطق الجهة المعاصر فما تركته من إرث فكري أحدث طفرة التقدم والتطور التي صححت مسار منطق الجهة برمته، وأدى التفوق الذي أحدثته اللغة الموجهة على لغة منطق المحمول إلى شغف واهتمام علماء الحاسوب بدراسة هذه اللغة وإشادتهم بصلاحيتها للتطبيق في العديد من مجالات الحوسبة كالذكاء الاصطناعي وقواعد البيانات والأنظمة الموزعة والتحقق من البرامج ونظرية التشفير. كُتب هذا المستخلص من قِبل المنظومة 2022
وصف العنصر: مقتبس من رسالة الماجستير "منطق الجهة المكمم عند روث باركان ماركوس" / إشراف ناصر هاشم محمد، عابر محمد عبدالعزيز، محمد سليم محمد.
ISSN: 1110-7839

عناصر مشابهة


© 2024 المنظومة. جميع الحقوق محفوظة.