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