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:

  1. Normální formy obecných gramatik.
  2. Regulované gramatiky.
  3. Maticové gramatiky.
  4. Programované přepisovaní.
  5. Gramatiky s nahodilým kontextem.
  6. CD gramatické systémy.
  7. PC gramatické systémy.
  8. L systémy.
  9. Gramatiky s rozptýleným kontextem.
  10. Převodníky.

Garant předmětu

Koordinátor předmětu

Jazyk výuky

česky, anglicky

Zakončení

zkouška (ústní)

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

  1. Úvod; zopakování důležitého materiálu.
  2. Řízené formální modely: principy.
  3. Maticové gramatiky.
  4. Programované přepisovaní.
  5. Gramatiky s nahodilým kontextem.
  6. Levé verze řízených gramatik.
  7. Hierarchie jazykových tříd definovaných řízenými gramatikami.
  8. CD gramatické systémy.
  9. PC gramatické systémy.
  10. L systémy.
  11. Semiparalelní formální modelů; multi-gramatiky.
  12. Gramatiky s rozptýleným kontextem.
  13. Nové verze klasických automatů.
  14. 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

DenTypTýdnyMístn.OdDoKapacitaPSKSkupInfo
Po přednáška 1., 2., 3., 4., 5., 6., 8., 9., 10., 11., 12., 13. výuky L314 11:0013:5030 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ý
Nahoru