Předmět Moderní teoretická informatika (FIT-TID)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu FIT-TID - Moderní teoretická informatika, Fakulta informačních technologií, Vysoké učení technické v Brně (VUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
Materiál | Typ | Datum | Počet stažení |
---|
Další informace
Cíl
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.
Osnova
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.
Literatura
kopie přednášek Meduna, A.: Automata and Languages. London, Springer, 2000 John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Introduction to Autotmata Theory, Boston, Addison-Wesley, 2001John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman: Introduction to Automata Theory, Boston, Addison-Wesley, 2001 mnoho nejnovějších článků, vědeckých zpráv a knih
Požadavky
formalni jazyky
Garant
prof. RNDr. Alexandr Meduna, CSc.
Vyučující
prof. RNDr. Alexandr Meduna, CSc.