Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-STIAk. rok: 2013/2014
Výuka probíhá formou demonstračních cvičení s aktivním podílem studentů na řešení konkrétních problémů a příkladů z oblastí teoretické informatiky včetně teorie vyčíslitelnosti a složitosti. Řešené problémy a příklady spadají do témat pokročilé teorie a aplikací regulárních jazyků, bezkontextových jazyky a kontextových jazyků, Turingových strojů, rozhodnutelnosti, redukce rozhodovacích problémů, vyčíslitelných funkcí a základů složitosti. Aplikačními oblastmi jsou modelování systémů, formální analýza a verifikace systémů, překladače, umělá inteligence, lingvistika ap.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Výsledky učení předmětu
Rozšíření a zkvalitnění schopností samostatně formalizovat a řešit informatické i aplikační problémy, vytvářet algoritmy i konstruovat důkazy. Student mj. získává hlubší kompetence k výzkumné práci v různých oblastech informatiky.
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
Základní literatura
Doporučení literatura
Zařazení předmětu ve studijních plánech
obor MBS , 1 ročník, zimní semestr, volitelnýobor MIN , 1 ročník, zimní semestr, volitelnýobor MIS , 1 ročník, zimní semestr, volitelnýobor MMI , 1 ročník, zimní semestr, volitelnýobor MMM , 1 ročník, zimní semestr, volitelnýobor MPV , 1 ročník, zimní semestr, volitelnýobor MBI , 1 ročník, zimní semestr, volitelnýobor MGM , 1 ročník, zimní semestr, volitelnýobor MSK , 1 ročník, zimní semestr, volitelný
Cvičení odborného základu
Vyučující / Lektor