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