Detail předmětu

Moderní teoretická informatika

FIT-TIDAk. rok: 2010/2011

Jazyk výuky

čeština, angličtina

Garant předmětu

prof. RNDr. Alexandr Meduna, CSc.

Zajišťuje ústav

Ústav informačních systémů (UIFS)

Základní literatura

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

Doporučená 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, 2001

Zařazení předmětu ve studijních plánech

  • Program VTI-DR-4 doktorský

    obor DVI4 , 0 ročník, zimní semestr, volitelný

  • Program VTI-DR-4 doktorský

    obor DVI4 , 0 ročník, zimní semestr, volitelný

Typ (způsob) výuky

 

Přednáška

39 hod., nepovinná

Vyučující / Lektor

prof. RNDr. Alexandr Meduna, CSc.

Osnova

  • Ú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í.

Projekt

13 hod., nepovinná

Vyučující / Lektor

prof. RNDr. Alexandr Meduna, CSc.