Fakulta informanch technologi
English version
Peskoit hlavn nabdku
Peskoit na obsah strnky
Nachzte se v sekcch
Fakulta
Studium
Pedmty
Prezentace z přednášek 2021/2022 (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
Vyčíslitelné funkce a jejich vztah k Turingovým strojům
Neúplnost
Složitost