Fakulta informačních technologií
English version
Přeskočit hlavní nabídku
Přeskočit na obsah stránky
Nacházíte se v sekcích
Fakulta
Studium
Předměty
Prezentace z přednášek 2022/2023 (jsou členěny dle témat, ne přímo dle dnů přednášek):
Formální jazyky obecně a úvod do regulárních jazyků
Pokročilé aspekty regulárních jazyků
Úvod do bezkontextových jazyků a zásobníkových automatů
Pokročilé aspekty bezkontextových jazyků
Turingovy stroje
Rekurzivní a rekurzivně vyčíslitelné jazyky
Meze rozhodnutelnosti
Neúplnost formálních systémů
Úvod do složitosti
Vlastnoti složitostních tříd