Detail předmětu
Moderní teoretická informatika
TID Ak. rok 2018/2019 zimní semestr
Předmět diskutuje pokročilá témata teoretické informatiky. Zaměřuje se na nejmodernější výzkum v oblasti automatů, formálních jazyků, formálních modelů, vyčíslitelnosti, složitosti a překladu. Detailně jsou objasněny souvislosti mezi teoretickou informatikou a matematikou. Filosofické aspekty informatiky jsou rovněž vyloženy. Získání a porozumnění presentovaných poznatků je ověřeno zpracováním vlastní tvůrčí tématické práce studenta.
Okruhy otázek k SDZ
- Normální formy obecných gramatik
- Regulované gramatiky.
- Maticové gramatiky.
- Programované přepisovaní.
- Gramatiky s nahodilým kontextem.
- CD gramatické systémy.
- PC gramatické systémy.
- L systémy.
- Gramatiky s rozptýleným kontextem.
- Převodníky.
Garant předmětu
Jazyk výuky
Zakončení
Rozsah
- 39 hod. přednášky
- 13 hod. projekty
Bodové hodnocení
- 60 bodů závěrečná zkouška (písemná část)
- 40 bodů projekty
Zajišťuje ústav
Přednášející
Cvičící
Stránky předmětu
Získané dovednosti, znalosti a kompetence z předmětu
Podrobný přehled o poznatcích současné teoretické informatice a schopnost je využít ve vlastním výzkumu.
Cíle předmětu
Vytvořit podrobný přehled o současné problematice diskutované v teoretické informatice. Zdokonalit a utvrdit schopnost tvůrčím způsobem využívat získaných poznatků z moderní teoretické informatiky ve vlastním výzkumu.
Požadované prerekvizitní znalosti a dovednosti
Formální jazyky.
Literatura studijní
- Copy of lectures
- Meduna, A.: Automata and Languages. London, Springer, 2000
- John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Introduction to Automata Theory, Boston, Addison-Wesley, 2001
- many very recent papers, scientific reports, and books
Osnova přednášek
- Úvod; zopakování důležitého materiálu.
- Řízené formální modely: principy.
- Maticové gramatiky.
- Programované přepisovaní.
- Gramatiky s nahodilým kontextem.
- Levé verze řízených gramatik.
- Hierarchie jazykových tříd definovaných řízenými gramatikami.
- CD gramatické systémy.
- PC gramatické systémy.
- L systémy.
- Semiparalelní formální modelů; multi-gramatiky.
- Gramatiky s rozptýleným kontextem.
- Nové verze klasických automatů.
- Stávající trendy teoretické informatiky; shrnutí.
Osnova ostatní - projekty, práce
- Tematické práce založená na vybraných vědeckých studií z oblasti teoretické informatiky v problematice řešené v disertační práci studenta.
Kontrolovaná výuka
1. Vypracování referátu během semestru:
Celkem 40 bodů, z toho 30 písemná část a 10 ústní část (prezentace)
Téma referátu musí být vztaženo k látce předmětu a schváleno jak garantem předmětu (Prof. Meduna), tak i školitelem studenta.
Referát nutno odevzdat do pondělí v týdnu, kdy bude prezentován. Odevzdání se provede elektronicky na email meduna@fit.vutbr.cz s předmětem "TID-referat". Pozor! Pokud bude referát odevzdán v úterý, automaticky ztráta 5 bodů. Pokud ještě později či vůbec, bude řešeno individuálně.
Po prezentaci bude možno stávající verzi referátu vylepšit a znovu odevzdat. Tato verze pak bude hodnocena.
2. Ústní zkouška se skládá ze dvou otázek, každá za 30 bodů.
Zařazení předmětu ve studijních plánech
- Program VTI-DR-4, obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4, obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4 (anglicky), obor DVI4, libovolný ročník, volitelný
- Program VTI-DR-4 (anglicky), obor DVI4, libovolný ročník, volitelný