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

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







مفهوم المنطق التطبيقي ودوره في علوم الحاسوب

المصدر: أوراق فلسفية
الناشر: كرسي اليونسكو للفلسفة فرع جامعة الزقازيق
المؤلف الرئيسي: عبدالجواد، أحمد عصام الدين (مؤلف)
المجلد/العدد: ع79
محكمة: نعم
الدولة: مصر
التاريخ الميلادي: 2021
الصفحات: 267 - 281
رقم MD: 1300001
نوع المحتوى: بحوث ومقالات
اللغة: العربية
قواعد المعلومات: HumanIndex
مواضيع:
رابط المحتوى:
صورة الغلاف QR قانون

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

21

حفظ في:
LEADER 02689nam a22002057a 4500
001 2058462
041 |a ara 
044 |b مصر 
100 |a عبدالجواد، أحمد عصام الدين  |g Abduljawaad, Ahmed Esam Al-Deen  |e مؤلف  |9 259053 
245 |a مفهوم المنطق التطبيقي ودوره في علوم الحاسوب 
260 |b كرسي اليونسكو للفلسفة فرع جامعة الزقازيق  |c 2021 
300 |a 267 - 281 
336 |a بحوث ومقالات  |b Article 
520 |e كشفت الورقة البحثية عن مفهوم المنطق التطبيقي ودوره في علوم الحاسوب. يعد المنطق التطبيقي من أهم فروع المعرفة الإنسانية وللتعرف عليه اقتضت منهجية الورقة التطرق إلى عنصرين. تناولت الأولى تعريف المنطق التطبيقي مشيرةً إلى أن موضوع المنطق قد أضحى بمفهومه الحديث توجه جديد فلم يعد أداة لتقرير الحقيقة فقط، وإنما يُسدى العون للتوصل إلى اكتشافات علمية جديدة؛ حيث يتناول الجانب الأساسي من المنطق منهج البحث العلمي الذي يقدم للباحثين وسائل اكتشاف حقائق جديدة. وأفصحت الثانية عن علاقة المنطق بعلوم الحاسوب حيث مستويات العلاقة، وجذور العلاقة وطبيعتها، كما أوضحت أنه يمكن تأريخ العلاقة بين المنطق وعلوم الحاسوب بدءًا من رامون لول الذي يعد أول من استخدم وسائل ميكانيكية بوصفها أدواتا مساعدة للتفكير. اختتمت الورقة البحثية بالإشارة إلى أن المنطق الرياضي يعد هو الأساس الذي بُنيت عليه لغات البرمجة وتحديدًا لغة برولوج المنطقية والتي تعد اختصارًا لـ ((Programming In language أو البرمجة بالمنطق والتي تمتلك روابط كثيرة بين تركيبها القواعدي وتراكيب المنطق الرياضي. كُتب هذا المستخلص من قِبل المنظومة 2022 
653 |a علم المنطق  |a المنطق الرياضي  |a المنطق التطبيقي  |a علوم الحاسوب  |a الذكاء الاصطناعي  |a لغات البرمجة 
773 |4 الفلسفة  |6 Philosophy  |c 017  |e Aorak Phalsaphia  |l 079  |m ع79  |o 1403  |s أوراق فلسفية  |v 000 
856 |u 1403-000-079-017.pdf 
930 |d y  |p y  |q n 
995 |a HumanIndex 
999 |c 1300001  |d 1300001 

عناصر مشابهة