Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail předmětu
FIT-TINeAk. 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ů, úvod do výpočetní složitosti.
Jazyk výuky
Počet kreditů
Garant předmětu
Zajišťuje ústav
Nabízen zahraničním studentům
Vstupní znalosti
Základní znalosti z binárních relací, 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í výsledků půlsemestrální zkoušky (max 20 bodů) a vypracovaných projektů (max. 20 bodů).Písemná půlsemestrální zkouška, průběžná kontrola a hodnocení projektů.
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 je schopen aplikovat získané znalosti při řešení teoretických i praktických problémů modelování, programování, formální specifikace, automatizace návrhu, verifikace a umělé inteligence.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 MGMe , 1 ročník, letní semestr, povinný
specializace MGH , 0 ročník, letní semestr, doporučený kurs
Přednáška
Vyučující / Lektor
Osnova
Projekt
Elektronické učební texty