Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-TINAk. rok: 2013/2014
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
Plánované vzdělávací činnosti a výukové metody
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 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 MBI , 1 ročník, zimní semestr, povinnýobor MGM , 1 ročník, zimní semestr, povinnýobor MSK , 1 ročník, zimní semestr, povinný
Přednáška
Vyučující / Lektor
Osnova
Projekt