Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-TINAk. rok: 2023/2024
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ů a úvod do výpočetní složitosti.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Vstupní znalosti
Základní znalosti z binárních relací, algebraických struktur, matematické logiky, teorie grafů a formálních jazyků včetně konečných a zásobníkových automatů a pojmů algoritmické složitosti.
Pravidla hodnocení a ukončení předmětu
Bodové hodnocení předmětu se skládá z výsledků testu ve 4. týdnu (max 10 bodů), testu ve 9. týdnu (max 15 bodů), vypracovaných projektů (max. 3-krát 5 bodů) a závěrečné semestrální zkoušky (max 60 bodů).
Písemný test ve 4. týdnu výuky je zaměřen na regulární jazyky a základní znalosti v oblasti bezkontextových jazyků. Písemný test v 9. týdnu výuky je zaměřený na pokročilejší znalosti z bezkontextových jazyků a na oblast rozhodnutelnosti a nerozhodnutelnosti včetně konstrukce Turingových strojů.
Podmínky pro udělení zápočtu, který je podmínkou pro připuštění k závěrečné semestrální zkoušce: Celkový zisk minimálně 18 bodů z z projektů a z testů v 4. a 9. týdnu (tj. celkem z 40 bodů).
Závěrečné semestrální zkouška má 4 části. Pro získání bodů ze závěrečné zkoušky je nutné mít z každé části alespoň 4 body a celkově získat alespoň 25 bodů. V opačném případě bude zkouška hodnocena 0 body.
Učební cíle
Rozšíření znalostí teorie formálních jazyků a osvojení základů teorie vyčíslitelnosti a základních pojmů výpočetní složitosti.
Znalosti základních a pokročilejších pojmů, přístupů a výsledků teorie automatů a teorie vyčíslitelnosti a základů teorie výpočetní složitosti, vedoucí k hlubšímu pochopení povahy popisu a realizace výpočetních procesů. Student získává základní kompetence k teoretické výzkumné práci.
Základní literatura
Doporučení literatura
Elearning
Zařazení předmětu ve studijních plánech
obor MBS , 1 ročník, zimní semestr, povinnýobor MPV , 1 ročník, zimní semestr, povinnýobor MIS , 1 ročník, zimní semestr, povinnýobor MIN , 1 ročník, zimní semestr, povinnýobor MGM , 1 ročník, zimní semestr, povinnýobor MBI , 1 ročník, zimní semestr, povinnýobor MSK , 1 ročník, zimní semestr, povinnýobor MMM , 1 ročník, zimní semestr, povinný
specializace NSPE , 1 ročník, zimní semestr, povinnýspecializace NBIO , 1 ročník, zimní semestr, povinnýspecializace NSEN , 1 ročník, zimní semestr, povinnýspecializace NVIZ , 1 ročník, zimní semestr, povinnýspecializace NGRI , 1 ročník, zimní semestr, povinnýspecializace NADE , 1 ročník, zimní semestr, povinnýspecializace NISD , 1 ročník, zimní semestr, povinnýspecializace NMAT , 1 ročník, zimní semestr, povinnýspecializace NSEC , 1 ročník, zimní semestr, povinnýspecializace NISY do 2020/21 , 1 ročník, zimní semestr, povinnýspecializace NCPS , 1 ročník, zimní semestr, povinnýspecializace NHPC , 1 ročník, zimní semestr, povinnýspecializace NNET , 1 ročník, zimní semestr, povinnýspecializace NMAL , 1 ročník, zimní semestr, povinnýspecializace NVER , 1 ročník, zimní semestr, povinnýspecializace NIDE , 1 ročník, zimní semestr, povinnýspecializace NEMB , 1 ročník, zimní semestr, povinnýspecializace NISY , 1 ročník, zimní semestr, povinnýspecializace NEMB do 2021/22 , 1 ročník, zimní semestr, povinný
Přednáška
Vyučující / Lektor
Osnova
Seminář
Cvičení odborného základu
Projekt