Kurz seznamuje účastníky se základními tématy teoretické informatiky, která tvoří důležitý základ pro pochopení fungování informačních systémů, programovacích jazyků i zpracování informací. Výuka se věnuje konečným automatům, teorii formálních jazyků, gramatikám, regulárním výrazům a souvislostem mezi automaty a gramatikami typu 3.

Další část kurzu představuje základy teorie informace a kódování, včetně principů bezpečnostních, lineárních a cyklických kódů využívaných při přenosu a uchovávání dat. Součástí výuky je také úvod do formální logiky, výrokového počtu, logického vyplývání a formálního dokazování. Kurz propojuje matematické a informatické principy s praktickými situacemi, ve kterých se tyto znalosti uplatňují.