Základy teoretické informatiky

Naučit studenta se orientovat v teoretické informatice a to především v teorii vyčíslitelnosti a složitosti, s důrazem na praktickou "programátorskou" stránku. Jde o kurz pro bakalářské studium, tudíž nejde o úzce zaměřená témata, ale o základní pojmy teorie algoritmů - rozhodnutelnost, časová a prostorová složitost a P=NP problém. Rovněž zde je kladen důraz na pochopení vztahů k praktické algoritmizaci, jakož i na vztahy uvnitř teoretické informatiky. Student by měl být schopen pochopit limity algoritmické vyčíslitelnosti a omezení z hlediska časové složitosti při praktickém řešení NP-úplných problémů.