1. Motivace a cíle přednášky
2. Pojem problému
3. Potřeba formalizace pojmu algoritmus
4. Pojem formálního jazyka jako prvního kroku k definici pojmu algoritmus

Literatura: kapitola 2

Cvičení:

• základní pojmy – (výpočetní) problém, algoritmus
• základní pojmy z formálních jazyků – abeceda, slovo, jazyk
• základní operace se slovy (zřetězení, mocnina) a jazyky (množinové operace, zřetězení, mocnina, iterace)
• jak souvisí problémy a jazyky; příklad na převod obecného výpočetního problému na problém příslušnosti do jazyka