Detail předmětu

Moderní teoretická informatika

TID Ak. rok 2008/2009 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)

Přednášející

Masopust Tomáš, doc. RNDr., Ph.D.
Meduna Alexandr, prof. RNDr., CSc. (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ů.

Metody vyučování

Metody vyučování závisí na způsobu výuky a jsou popsány článkem 7 Studijního a zkušebního řádu VUT.

Kontrolovaná výuka

Několik referátů o látce předmětu během semestru.

Nahoru