Fakulta informanch technologi
English version
Peskoit hlavn nabdku
Peskoit na obsah strnky
Nachzte se v sekcch
Fakulta
Studium
Pedmty
Studijní materiály 2020
Prezentace z přednášek 2020/2021 (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