Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-TINAk. rok: 2014/2015
Aplikace teorie formálních jazyků v informatice a informačních technologiích (překladače, modelování a analýza systémů, lingvistika, biologie atd.), modelovací a rozhodovací síla formálního modelu, regulární jazyky a jejich vlastnosti, minimalizace konečného automatu, bezkontextové jazyky a jejich vlastnosti, Turingovy stroje, vlastnosti rekurzivních a rekurzivně vyčíslitelných jazyků, vyčíslitelné funkce, nerozhodnutelnost, nerozhodnutelné problémy teorie formálních jazyků, úvod do výpočetní složitosti.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Student získává základní kompetence k teoretické výzkumné práci.
Prerekvizity
Způsob a kritéria hodnocení
Osnovy výuky
Učební cíle
Vymezení kontrolované výuky a způsob jejího provádění a formy nahrazování zameškané výuky
Zařazení předmětu ve studijních plánech
obor MBI , 1 ročník, zimní semestr, povinnýobor MBS , 1 ročník, zimní semestr, povinnýobor MIN , 1 ročník, zimní semestr, povinnýobor MIS , 1 ročník, zimní semestr, povinnýobor MMI , 1 ročník, zimní semestr, povinnýobor MMM , 1 ročník, zimní semestr, povinnýobor MPV , 1 ročník, zimní semestr, povinnýobor MSK , 1 ročník, zimní semestr, povinnýobor MGM , 1 ročník, zimní semestr, povinný