نسق منطق الجهة المكمم عند روث باركان ماركوس
| العنوان بلغة أخرى: |
The System Quantified Modal Logic of Ruth Barcan Marcus |
|---|---|
| المصدر: | مجلة كلية الآداب |
| الناشر: | جامعة سوهاج - كلية الآداب |
| المؤلف الرئيسي: | أحمد، عمرو أحمد السيد (مؤلف) |
| المؤلف الرئيسي (الإنجليزية): | Alsayed, Omaar |
| المجلد/العدد: | ع57, ج2 |
| محكمة: | نعم |
| الدولة: |
مصر |
| التاريخ الميلادي: |
2020
|
| الشهر: | أكتوبر |
| الصفحات: | 513 - 547 |
| ISSN: |
1110-7839 |
| رقم MD: | 1129531 |
| نوع المحتوى: | بحوث ومقالات |
| اللغة: | العربية |
| قواعد المعلومات: | HumanIndex |
| مواضيع: | |
| رابط المحتوى: |
عدد مرات التحميل
10
| LEADER | 02604nam a22002297a 4500 | ||
|---|---|---|---|
| 001 | 1872368 | ||
| 041 | |a ara | ||
| 044 | |b مصر | ||
| 100 | |a أحمد، عمرو أحمد السيد |g Alsayed, Omaar |e مؤلف |9 603677 | ||
| 245 | |a نسق منطق الجهة المكمم عند روث باركان ماركوس | ||
| 246 | |a The System Quantified Modal Logic of Ruth Barcan Marcus | ||
| 260 | |b جامعة سوهاج - كلية الآداب |c 2020 |g أكتوبر | ||
| 300 | |a 513 - 547 | ||
| 336 | |a بحوث ومقالات |b Article | ||
| 500 | |a مقتبس من رسالة الماجستير "منطق الجهة المكمم عند روث باركان ماركوس" / إشراف ناصر هاشم محمد، عابر محمد عبدالعزيز، محمد سليم محمد. | ||
| 520 | |e هدف البحث إلى التعرف على نسق منطق الجهة المكمم عند روث باركان ماركوس. تم استخدام المنهج التحليلي. انقسم البحث إلى ثلاث عناصر، تناول العنصر الأول مفهوم النسق المنطقي، وبين العنصر الثاني تعريف منطق الجهة المكمم، وأشار العنصر الثالث إلى مكونات نسق الجهة المكمم عند ماركوس، وتضمن المقدمات، وقواعد الاستنباط. توصل البحث إلى عدة نتائج أهمها أن روث ماركوس واحدة من أكبر وأهم رواد منطق الجهة المعاصر فما تركته من إرث فكري أحدث طفرة التقدم والتطور التي صححت مسار منطق الجهة برمته، وأدى التفوق الذي أحدثته اللغة الموجهة على لغة منطق المحمول إلى شغف واهتمام علماء الحاسوب بدراسة هذه اللغة وإشادتهم بصلاحيتها للتطبيق في العديد من مجالات الحوسبة كالذكاء الاصطناعي وقواعد البيانات والأنظمة الموزعة والتحقق من البرامج ونظرية التشفير. كُتب هذا المستخلص من قِبل المنظومة 2022 | ||
| 653 | |a المنطق |a الفلسفة الغربية |a ماركوس، روث باركان، ت. 2012 م. | ||
| 773 | |4 العلوم الإنسانية ، متعددة التخصصات |6 Humanities, Multidisciplinary |c 024 |f Maǧallaẗ Kulliyyaẗ al-Adab |l 002 |m ع57, ج2 |o 2047 |s مجلة كلية الآداب |v 057 |x 1110-7839 | ||
| 856 | |u 2047-057-002-024.pdf | ||
| 930 | |d y |p y |q n | ||
| 995 | |a HumanIndex | ||
| 999 | |c 1129531 |d 1129531 | ||
عناصر مشابهة
-
إشكاليات منطق الجهة المكمم عند "روث باركان ماركوس"
بواسطة: أحمد، عمرو أحمد السيد منشور: (2021) -
روث باركان ماركوس وتأسيس النظرية الإشارية المعاصرة
بواسطة: أحمد، عمرو أحمد السيد منشور: (2021) -
مفهوم الفضيلة عند فيليبا فوت: محاولة لإحياء مفهوم الفضيلة عند أرسطو
بواسطة: أحمد، مصطفى عبدالرؤوف راشد منشور: (2018) -
مفهوم الواجب الأخلاقي عند ماركوس أوريليوس من النظرية إلى التطبيق
بواسطة: جمعة، جيهان حمدي محمود منشور: (2020) -
مفهوم الواجب الأخلاقي عند شيشرون
بواسطة: محمد، أحمد مرتاح إبراهيم منشور: (2022)
