Informace o předmětu UTI jsou na stránkách Doc. Ing. Zdeňka Sawy, Ph.D. http://www.cs.vsb.cz/sawa/uti/
Příklady na jazyky a automaty (pro rok 2023 i 2024).
Aktivitní příklady 1: z oblasti jazyků a automatů,
Aktivitní příklady 2: z oblasti nedeterministických konečných automatů a gramatik,
Aktivitní příklady 3: z oblasti bezkontextových gramatik,
Aktivitní příklady 4: z oblasti predikátové logiky,
Aktivitní příklady 5: z oblasti algoritmů a jejich korektnosti,
Aktivitní příklady 6: asymptotická notace a složitost algoritmu.