Studijní materiál: Úvod do teoretické informatiky

Tento učební text má sloužit jako základní studijní materiál pro kursy teoretické informatiky zabývající se teorií jazyků a automatů a teorií algoritmické vyčíslitelnosti a složitosti. Text existuje ve dvou verzích. Základní verze je určena pro kurs „Úvod do teoretické informatikyÿ (ÚTI) v bakalářském studiu, rozšířená verze pak pro kurs „Teoretická informatika (TI) v magisterském studiu. Nepředpokládá se ovšem, že v omezeném čase bakalářského kursu se probere celá základní verze; ta má posloužit vedoucímu kursu k sestavení konkrétního plánu typicky zahrnujícího (jen) podmnožinu látky obsažené ve studijním textu. Rozšířená verze obsahuje verzi základní a navíc je obohacena o kapitoly označené jako „rozšiřující část. Text byl použit (a dopracován) v bězích kursů ÚTI a TI v letním semestru r. 2006/07; pro další běhy je plánováno další vylepšování a doplňování.

V této úvodní sekci je podán stručný nástin obsahu textu a jsou uvedeny pokyny ke studiu; sekce je zakončena poznámkami o vzniku textu a poděkováním lidem, kteří k němu významně přispěli.