لمن هذا المسار؟

• لطلاب علم الحاسوب
• لمن يريد العمل في مجالات علم الحاسوب التي تتضمن البرمجة وحل المشاكل، حيث يساعدك هذا المسار على الحصول على مهارة التفكير والتحليل المنطقي وحل المشاكل. 
• لمن يريد أخذ فكرة عن طرق الإثبات لاستخدامها في تأليف الكتب والأبحاث العلمية التي تتطلب إثبات نظريات جديدة أو مناقشتها.

هذا المسار لا يناسبني إذا..

• درسته من قبل في جامعتك أو مكان آخر
•  لست ممن يهتم بالبحث العلمي أو الاطلاع عليه، وعملت لفترة طويلة في البرمجة أو أحد مجالات الحاسوب وأصبحت خبيرًا في ذلك المجال، فالتجربة العملية الطويلة ستولد لديك في الغالب المهارات التي يعطيها هذا المسار. ولكن فائدة هذا المسار للجدد في المجال هو توفير الوقت عليهم وإعطائهم هذه المهارة مباشرة ومسبقًا، بدلًا من اكتسابها بعد الوقوع بأخطاء كثيرة واستهلاك وقتًا طويلًا في محاولة فهم وتحليل المشاكل بمفردهم دون طرق منهجية واضحة.

لماذا أتعلم المنطق؟ وما هي المشكلة التي يحلها هذا العلم

يتم دراسة علم المنطق (Logic) عادةً في السنة الأولى لقسم علم الحاسوب أو هندسة الحاسوب، هذا العلم هو الذي شكل جذور تطبيقات علم الحاسوب.

المنطق هو البوابة الرئيسية التي نبني عبرها الأساس الصحيح لتعلم الحاسوب وتطبيقاته. تعلم المنطق سيتيح لك دخول عالم الحاسوب من المدخل السليم والبداية الصحيحة. فالمنطق هو الأساس في بناء الحاسوب، سواء فيزيائيًا حيث الدارات الرقمية، أو برمجيًا حيث تعتمد لغات البرمجة وكذلك الخوارزميات بأكملها على المنطق.

فالمنطق هو العلم الذي يحول الأفكار التي تحل مشكلة ما لتسلسل علمي عقلاني منهجي سليم وتقوم بإثبات ذلك الحل وفق طرق الإثبات المنطقية المعتمِدة أيضًا على الرياضيّات. 

المنطق هو لغة الأفكار العلمية في الكتب والمقالات البحثية.حيث نكتب الأفكار والمعتقدات (beliefs) بلغة المنطق، ونستخدم التفسير المنطقي (loigcal reasoning) لوضع خلاصة لهذه المعتقدات، ونستخدم طرق الإثبات المنطقي (logical proofs) لإقناع الأخرين بالنتائج التي توصلنا لها
فلغة المنطق تحل مشكلة الغموض وتعدد أوجه المعاني الموجودة في لغاتنا المحكية. 

يُستخدم المنطق في الخوارزميات، وفي تحليل صحة برامج الحاسوب، وذلك في فهم عمل وسلوك الأنظمة.

هناك عدة أنواع للمنطق مستخدمة في علوم الحاسوب، منها المنطق الافتراضي الذي سندرسه في هذا المسار بالإضافة لبعض الأنواع الأخرى. لهذه الأنواع مستويات مختلفة في التعبير وتُستخدم في العديد من مجالات علوم الحاسوب، مثل الذكاء الصناعي وقواعد البيانات ولغات البرمجة.

يساعدك تعلم المنطق على تطوير مهاراتك في حل المشاكل والتفكير البناء، وهذان عنصران مهمان جدًا من عناصر النجاح في علم الحاسوب.  

يُستخدم المنطق في أنظمة الحاسوب لإثبات نظريات رياضية، لتحليل الأخطاء، لتحسين طرق الاستدعاء من قاعدة البيانات، لترميز وتحليل والقوانين وقواعد العمل وما إلى ذلك.

ماهي متطلبات المسار؟

تم وضع محتوى المسار بحيث يفترض معرفتك لعلوم الرياضيات التي تؤخذ عادةً في الثانوية، وتحديدًا الجبر، وبالأخص التوابع (أو يطلق عليها الدالات Functions) والمجموعات وعلاقاتها (اجتماع المجموعات - تقاطع المجموعات– اختلاف المجموعات..)

ما الذي سأخرج به من هذا المسار؟

يُقدم لك هذا المسار مقدمة للمنطق، ويعلمك كيفية كتابة المعلومات بجمل وعبارات منطقية (والتي تكتب من قبل المجتمع العلمي في الأبحاث والكتب العلمية) ويشرح طرق إثبات النظريات، ويظهر لك كيفية تفسير تلك المعلومات بشكل منهجي. فالمنطق  بداية طريق البحث والنشر العملي أيضًا. 

كذلك يعطيك المنطق القدرة على التفكير التحليلي، ذلك العنصر الرئيسي الهام لفهم البرمجيات والتخطيط لها بشكل سليم ولوضع حلول مناسبة للمشاكل البرمجية أو التصميمية.

ومن المتوقع أن يغير تعلم المنطق من تفكيرك (بشهادات من درسوا المنطق) ويجعلك تفكر بشكل منطقي لحل أي مشكلة سواء كانت في تطبيقات علم الحاسوب أو خارجه.  

المدة التخمينية لإنهاء المسار

~14 ساعة

المراجع

تُظهر القائمة أدناه المراجع الرئيسية التي تم استخدامها في إعداد محتوى هذا المسار. علمًا أن المحتوى بأكمله تم وضعه بعد إجراء بحث علمي شامل وتأليف وتدقيق استغرقا عدة أشهر. 

    1. Stanford CS 157 Lectures 2021. Dr. Michael Genesereth
    2. Turkish-German University Logik für Informatiker Lectures 2018. Prof. Dr. Faruk Bağcı