0
سلة النتائج
0
سلة النتائج
مرحبا !
|
تسجيل خروج
Guest Login
دخول
اللغة:
English
Arabic
القواعد
المجلات
المؤتمرات
التقرير السنوي للاكثر تحميلا
2023
2022
2021
الدعم الفني
المساعدة
ارسل ملاحظاتك
ارسل ملاحظاتك لنا
الإسم
Please enable JavaScript.
البريد الإلكتروني
الملاحظات
الرئيسية
>
مؤلف
>
أبوالعلا، محمد سيد محمد
عرض
1
-
3
من
3
للبحث:
'أبوالعلا، محمد سيد محمد'
, وقت الاستعلام: 0.13s
ترتيب
الصلة
التاريخ تنازليا
التاريخ تصاعديا
الاحدث إضافة
المؤلف
العنوان
اختر الصفحة
|
مع الاختيارات:
1
اختر هذا السجل
حساب البناءات: دراسة تحليلية لبناءات تيري كوكاند
إضافة إلى سلة النتائج
حفظ في:
العنوان بلغة أخرى:
Constructions Calculus: Thierry Coquand's Constructions Analytical Study
المؤلف:
أبوالعلا
،
محمد
سيد
محمد
المصدر:
حوليات آداب عين شمس
, مج46
الناشر:
جامعة عين شمس - كلية الآداب
تاريخ:
2018
نوع المحتوى:
بحوث ومقالات
الصفحات:
167 - 210
المستخلص:
يناقش هذا البحث بالتحليل مصطلح "الحساب البناءات" منذ بدايته في القرنين السادس والسابع عشر، مرورا بالقرن العشرين وأهم إضافات رسل والمناطقة المعاصرين، حتى الوقت الحالي، وهذا البحث في...
المستخلص الكامل
PDF (صورة)
عدد مرات التحميل
11
2
اختر هذا السجل
الجانب المنطقي لحساب لامدا: دراسة تحليلية
إضافة إلى سلة النتائج
حفظ في:
العنوان بلغة أخرى:
Lambda Calculus S. Logical Attitude: Analytical Study
المؤلف:
أبوالعلا
،
محمد
سيد
محمد
المصدر:
مجلة كلية الآداب
, ع12
الناشر:
جامعة بورسعيد - كلية الآداب
تاريخ:
2018
نوع المحتوى:
بحوث ومقالات
الصفحات:
669 - 717
المستخلص:
يناقش هذا البحث حساب لا مدا الذي قدمه المنطقي "الونزو تشيرش Alonzo Church" (1903 - 1995)، واعتبر من أساسيات لغات برمجة الحاسوب، إلا أنني أتناول فيه الجانب النسقي الصوري له كجزء من...
المستخلص الكامل
PDF (صورة)
عدد مرات التحميل
20
3
اختر هذا السجل
المنطق المفهومي: تعريفه وعلاقته بالمعنى
إضافة إلى سلة النتائج
حفظ في:
العنوان بلغة أخرى:
The Intensional Logic Definition and its Relation to Meaning
المؤلف:
أبوالعلا
،
محمد
سيد
محمد
المصدر:
مجلة بحوث كلية الآداب
, ج119
الناشر:
جامعة المنوفية - كلية الآداب
تاريخ:
2019
نوع المحتوى:
بحوث ومقالات
الصفحات:
673 - 733
المستخلص:
يتميز المنطق بالدقة، لأن موضوعه الحق أو الصدق، وفي سبيل البحث عن الحق، سواء أكان واقعاً، أم في الجمل والتعبيرات التي يعتبرها المنطق قضايا، مال بعض المناطقة لإنكار قضايا الميتافيزيق...
المستخلص الكامل
الناشر لهذه المادة لم يسمح بإتاحتها.
اختر الصفحة
|
مع الاختيارات:
أدوات البحث:
خلاصات
أرسل نتيجة البحث بالإيميل
×
دليل المستخدم
دليل الفيديو