Osnova

1. Problémy, algoritmy a programovací jazyky
2. Formální jazyky
3. Konečné automaty  a regulární gramatiky
4. Zásobníkové automaty a bezkontextové gramatiky
5. Turingove stroje a složitost výpočtů
6. Složitost algoritmů
7. Rozhodnutelné   a prakticky řešitelné problémy
8. Nerozhodnutelnost
9. Neřešitelné a nerozhodnutelné problémy
10. Univerzalita a robustnost
11. Alternatívní výpočetní modely
12. Náhodnost a aproximace
13. Alternativní koncepty počítání