» الإجازة بتقدير ممتاز من كلية البنات جامعة عين شمس مع التوصية التوصية بالتبادل مع الجامعات الأخري
بعد مناقشات علمية مستفيضة ورصينة برحاب قسم الفلسفة بكلية البنات جامعة عين شمس ، قررت لجنة الحكم والمناقشة منح الباحثة هبه ممدوح مختار المعيدة بالقسم درجة الماجستير بتقدير ممتاز مع التوصية والتبادل بين الجامعات.
جاءت الرسالة بعنوان (منطق الانفصال وتطبيقاته فى علوم الحاسوب) .
ويتعد أول نوع من الرسائل يتم مناقشته فى أقسام الفلسفة.
تشكلت لجنة الإشراف الحكم والمناقشة من:
– الدكتورة سهام محمود النويهي استاذ المنطق وفلسفة العلوم – كلية البنات – جامعة عين شمس(مشرفا ورئيسا).
– الدكتور ناصر هاشم محمد أستاذ المنطق وفلسفة العلوم – كلية الآداب – جامعة أسيوط (مناقشا).
– الدكتور عصام زكريا محمود أستاذ المنطق
كلية الآداب – جامعة القاهرة( مناقشا)
– الدكتور مايسه عبده علي أستاذ المنطق المساعد -كلية البنات جامعة عين شمس (مشرفا).
شهد المناقشة كوكبة من الأساتذة والباحثين،وعدد من أهل أصدقاء وأقارب الباحثة.
قُسمت الدراسة إلى مقدمة، وستة فصول، وخاتمة.
في المقدمة عرضت الباحثة لإشكالية الموضوع وأهدافه وأهميته وأسباب أختياره وحدوده ، والمنهج المستخدم ، وخطة الدراسة.
الفصل الأول : جاء بعنوان ( الأسس المنطقية لعلوم الحاسوب ) ويُعد تمهيدا للدراسة ،وتناول عرضا عن منطق الدرجة الأولى وبيان العلاقة بين المنطق وعلوم الحاسوب من حيث الأهمية وأبرز التطبيقات التى حققها المنطق فى مجال علوم الحاسوب.
الفصل الثاني: بعنوان ( منطق هور ) يُعد هذا الفصل أساسا لفهم منطق الانفصال لذا أُفرد لعرض دور منطق هور فى برامج الحاسوب فى ضوء تأثره بمنطق الدرجة الأولى من خلال الحديث عن أسباب ظهوره وتطوره ومفهومه وشرح نسقه وأخيرًا بيان تقييم العلماء لهذا المنطق وجهودهم نحو تطويره.
الفصل الثالث : جاء بعنوان: (نشأة منطق الانفصال وتطوره) خصص للحديث عن المشكلات والتحديات التى ساهمت فى ظهور منطق الانفصال ثم تتبع مراحل نشأته وتطوره ومفهومه وبيان الفرق بين مصطلح الانفصال ومصطلح الفصل disjunction.
الفصل الرابع : بعنوان (نسق منطق الانفصال) خصص لعرض وتحليل مكونات نسق هذا المنطق وبيان كيفية تطويرهم لروابط المنطق الكلاسيكي ومنطق هور من ناحية ، وشرح وتحليل الروابط الجديدة التى قاموا بانشائها من ناحية أخري.
الفصل الخامس : بعنوان (نظرية البرهان فى منطق الانفصال) تناول عرض وتحليل لمكونات نظرية البرهان والعوامل التى تجعلها قابلة للتطبيق من خلال شرح قواعد الاستنتاج المحدد ( قاعدة الإطار – قاعدة التزامن) ثم الحديث عن التخمين الثنائي وبيان أهميته وكيفية استخدامه.
الفصل السادس : بعنوان ( تطبيق منطق الانفصال فى إنشاء أدوات التحقق ) قد تناول تطبيقات منطق الانفصال فى التحقق من صحة البرامج من خلال إنشاء أدوات تستند إلى نظريته فى البرهان ويتمثل أهمية هذا الفصل فى نجاح تطبيق نظرية البرهان والذي يتجلي من خلال التناول بالتحليل والمقارنه لأداتين مختلفتين هما؛ أداة البصمة الصغيرة smallfoot وأداة الاستنتاج infer.
الخاتمة : تتضمن أهم النتائج التى تم التوصل إليها والبحوث المقترحة، والتوصيات المُقدَّمة من الباحثة.