التوصيف العام
يتناول مقرر "الرياضيات المتقطعة" موضوع الرياضيات والمنطق الذي يحتاجه المبرمج أو المصمم أو المحلل في عمله، وتساعد الطالب في تنمية مداركه التجريدية وإيضاح تطبيقها المباشر في مجال البرمجة أو التحليل عبر تناول مواضيع كالاستقراء الرياضي والمسلمات والعبارات المكممة ومبادئ الأوتومات وأسس لغات البرمجة.
المحصلات التعليمية:
1. تعرف مفاهيم منطقية أساسية: المسلمة، العبارة المنطقية، العبارة المكممة.
2. تعرف الاستقراء الرياضي.
3. فهم قواعد الاحتمالات.
4. تعرف مبادئ الأوتومات وأثرها في بناء مترجمات لغات البرمجة.
5. تعرف نظرية البيان وأساسياتها.