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