يهتم أكثر بالمواضيع المجردة او المفاهيم الرياضية للحاسوبية, حيث يتناول
المقرر الموضوعات التالية: أساسيات نظرية الحوسبة, الحاسبة المنتهية (الأوتومات المنتهي
Finite Automaton),
الحاسبات التعاقبية Sequential Machines,
اللغات المنتظمة Regular Languages, القواعد الشكلية Formal Grammars.