Detail předmětu

Moderní teoretická informatika

TID Ak. rok 2005/2006 zimní semestr

Aktuální akademický rok

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.

Garant předmětu

Meduna Alexandr, prof. RNDr., CSc. (UIFS)

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)

Získané dovednosti, znalosti a kompetence z předmětu

Podrobný přehled o poznatcích současné teoretické informatice a schopnost je využít ve vlastním výzkumu.

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.

Požadované prerekvizitní znalosti a dovednosti

formalni jazyky

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

Průběžná kontrola studia

Hodnocení studia je založeno na bodovacím systému. Pro úspěšné absolvování předmětu je nutno dosáhnout 50 bodů.

Kontrolovaná výuka

nekolik referatu o latce predmetu behem semestru.

Nahoru