الفهرس 
الأسس المنطقية لعلوم الحاسوبيوجد فقط 14 صفحة متاحة للعرض العام
 |  | from | 318 |  |  |
| | | from | 318 | | |
المستخلص
يُعد تصميم وتطوير أنظمة عالية الجودة تلبي متطلباتها أمرًا في غاية الأهمية؛ خاصة مع التعقيد المتزايد باستمرار لأنظمة الحاسوب، فمن الممكن أن يتسبَّب فشل النظام في مهمته أو سلامته إلى مشكلات عديدة؛ مثل: تجاوز التكلفة، وفقدان في الأرواح أو خسائر اقتصادية وخيمة؛ لذلك وجَّه العديد من العلماء اهتمامهم للكشف عن أخطاء تلك البرامج ومعالجتها، استنادًا إلى أسس منطقية سليمة، ويُعتبر منطق الانفصال أول منطق قدَّم نسقًا لتطبيقه في مجال التحقُّق من صحة البرنامج المعقدة وإثبات صحته ؛ لذا تهدف الدراسة إلى توضيح وبيان دور منطق الانفصال في ذلك؛ من خلال الوقوف على أسباب ظهوره، ومراحل تطوره، ومفهومه، وكيفية تطويره لمنطق هور، وعرض وتحليل مكونات نسقه، وبيان كيفية تطبيقه ، وقد اتبعت الباحثة في ذلك المنهج التاريخي، والمنهج التحليلي النقدي المقارَن. ليتبيَّن لنا أن المنطق لا ينفصل عن الواقع، بل يسايره في ظل التقدم العلمي والتكنولوجي. بالإضافة إلى أن دارسي علوم الحاسوب لا يمكنهم الاستغناء عن دراسة المنطق؛ فهو يوفِّر لهم الأساس لفهم كيفية عمل أجهزة الحاسوب، وكيفية التعامل معها، فإذا أراد المبرمج أن يتجنَّب الأخطاء في الكود البرمجي، ينبغي أن يتحقَّق من صحة برنامجه، باستخدام أسس وقواعد منطق الانفصال؛ وأيضًا توصلت الباحثة إلى أن منطق الانفصال نجح فى تحقيق هدفه؛ لربطه بين الجانب التقني والمنطقي، فقد طبق لإنشاء العديد من أدوات التحقق مثل أداة البصمة الصغيرة، وأداة الأستنتاج؛ لذا حاز منطق الانفصال على اهتمام علماء المنطق، وعلماء الحاسوب، فظهرت العديد من الإسهامات التي تسعي لتطويره حتي الآن من أجل التحقُّق وإثبات صحة البرامج بكافة أنواعها، بل وتطويرها أيضًا؛ لذلك تُوصي الباحثة بتوجيه المزيد من الاهتمام في عالمنا العربي بالأبحاث العلمية، حول الأنواع الجديدة للمنطق وتطبيقاتها في مجالات علوم الحاسوب.