Detail předmětu
Moderní teoretická informatika
TID Ak. rok 2024/2025 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
Koordinátor 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
- 40 bodů projekty
Zajišťuje ústav
Přednášející
Cvičící
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.
Podrobný přehled o poznatcích současné teoretické informatice a schopnost je využít ve vlastním výzkumu.
Požadované prerekvizitní znalosti a dovednosti
Formální jazyky.
Literatura studijní
- Kopie přednášek
- MEDUNA Alexander: Automata and Languages. London, Springer, 2000
- mnoho nejnovějších článků, vědeckých zpráv a knih
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
Dvě tematické práce založené na vybraných vědeckých studiích z oblasti teoretické informatiky.
Průběžná kontrola studia
1. Vypracování referátu během semestru:
- Hodnocení až 40 bodů, z toho 30 písemná část a 10 ústní část (prezentace, typicky v angličtině)
- Téma referátu nejlépe se vztahem k tématu dizertace, ale s využitím vhodného matematického aparátu, nejlépe s blízkou vazbou k teoretické informatice. Téma musí být schváleno garantem předmětu (prof. Meduna).
- Referát nutno odevzdat alespoň týden před prezentací. Odevzdání se provede elektronicky na email meduna@fit.vut.cz s předmětem "TID-referat". Pozor! Při opožděném odevzdání, dojde ke ztrátě cca 10 bodů za každý den zpoždění.
- 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ů.
Rozvrh
Den | Typ | Týdny | Místn. | Od | Do | Kapacita | PSK | Skup | Info |
---|---|---|---|---|---|---|---|---|---|
Po | přednáška | 1., 2., 3., 4., 5., 6., 8., 9., 10., 11., 12., 13. výuky | L314 | 11:00 | 13:50 | 30 | 1DVI | xx | Meduna |
Zařazení předmětu ve studijních plánech
- Program DIT, libovolný ročník, povinně volitelný skupina T
- Program DIT, libovolný ročník, povinně volitelný skupina T
- Program DIT-EN (anglicky), libovolný ročník, povinně volitelný skupina T
- Program DIT-EN (anglicky), libovolný ročník, povinně volitelný skupina T
- 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ý