1. Motivace a cíle přednášky
2. Historie informatiky jako vědní disciplíny.
3. Potřeba formalizace pojmu algoritmus
4. Pojem formálního jazyka jako prvního kroku k definici pojmu algoritmus

LIteratura: 
J. Hromkovič kapitola 1
P.  Jančar kapitola 2

• 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