Státnice - Metody tvorby algoritmů
Státnice - Odhady složitosti
Státnice - NP-úplnost
Státnice - Aproximační algoritmy a schémata
Státnice - Algoritmicky vyčíslitelné funkce
Státnice - Rekurzivní a rekurzivně spočetné množiny
Státnice - Algoritmicky nerozhodnutelné problémy
Státnice - Věty o rekurzi
