Detail předmětu
Moderní teoretická informatika
Garant předmětu
Jazyk výuky
česky, anglicky
Zakončení
zkouška
Rozsah
- 39 hod. přednášky
- 13 hod. projekty
Zajišťuje ústav
Ústav informačních systémů (UIFS)
Literatura studijní
- 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, 2001
Literatura referenční
- John 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
Osnova přednášek
- Úvod; zopakování důležitého materiálu.
- Čisté formální modely.
- Řízené formální modely; maticové a programované přepisovaní.
- Paralelní formální modely; L systémy; semiparalelní formální modely; rozptýlené přepisování.
- Univerzální formální systémy; selektivní a kombinované přepisování; gramatické systémy.
- Formální modely pro přirozené jazyky.
- Algebraický přístup k automatům; převodníky a relace.
- Algebraický přístup k formálním jazykům; volné monoidy.
- Další souvislosti teoretické informatiky a matematiky; grafy, kombinatorika, kategorie.
- Nove přístupy ke složitosti a vyčíslitelnosti.
- Teoretická informatika a filosofie; rozlišení nepochybného, nejistého a nemožného; oblast neproblémového; matematizace přirozeného světa; Russell, Wittgenstein, Godel, Carnap, Husserl, Marcel, Heidegger.
- Nejdůležitější trendy v posledním desetiletí.
- Očekávané budoucí trendy, shrnutí.
Zařazení předmětu ve studijních plánech