V tomto kurzu se studenti seznámí s teoretickými základy informatiky, které jsou důležité pro studium aplikované informatiky. Studenti získají základní znalosti z vybraných partií z matematiky, jako jsou číselné soustavy, výroková logika, teorie množin, teorie grafů, automaty a gramatiky, Turingovy stroje, teorie vyčíslitelnosti, teorie informace a Petriho sítě. Je kladen důraz na propojení matematické teorie s praktickou realizací. Získané znalosti umožní lepší pochopení dalších navazujících předmětů v oblasti informačních technologií.