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

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

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