Pracovní osnova:
1. Abecedy a zpracování řetězců symbolů
2. Pojem konečného automatu
3. Další typy automatů
4. Turingovy stroje
5. Formální jazyky a gramatiky
6. Chomského typizace jazyků a gramatik
7. Rozpoznávání jazyků automaty
8. Pojem algoritmu
9. Algoritmická řešitelnost úloh
10. Složitost algoritmů a problémů
Úvod do teoretické informatiky s důrazem na základní pojmy a výsledky týkající se formálních jazyků, automatů, algoritmů, které jsou potřebné pro pochopení podstaty počítačového zpracování zejména nenumerických informací.