Teoretická informatika Základní informace k předmětu Literatura Závěrečná práce Zkouška

Teoretická informatika Garant předmětu: Josef Hynek Cíl předmětu: Cílem předmětu je seznámit studenty doktorského stupně studia s vybranými oblastmi teoretické informatiky v rozsahu potřebném pro kvalifikovanou vědeckou práci v oblasti aplikované informatiky. Celkové pojetí předmětu odráží i skutečnost, že ne všichni studenti na předcházejících stupních studia dosáhli stejné úrovně vědomostí v teoretické informatice, a proto je nutné případné diference co nejvíce vyrovnat.

Sylabus: Teorie formálních jazyků a gramatik (Chomského hierarchie jazyků, vlastnosti gramatik, možnosti jejich využití). Teorie automatů (konečné automaty, zásobníkové automaty, Turingovy stroje, vztahy mezi různými typy automatů a gramatikami, Church- Turingova teze) Teorie vyčíslitelnosti (rozhodovací problémy, univerzální Turingův stroj, problém zastavení Turingova stroje, Postův problém přiřazení, Gödelova věta, Turingovy stroje s orákulem) Teorie složitosti (časová a prostorová složitost, analýza algoritmů, třídy složitosti, pojem NP-úplnosti, možnosti řešení těžkých problémů)

Doporučená literatura: 1. Sipser, M.: Introduction to the Theory of Computation Course Technology, 2nd Ed., Thomson, Boston, MA, Linz, P., An Introduction to Formal Languages and Automata, Fifth Edition. Jones & Bartlett Learning, Jančar, P., Kot, M., Sawa, Z.: Teoretická informatika. VŠB – Technická univerzita Ostrava, Wayne Goddard: Introducing the Theory of Computation. Jones & Bartlett Learning, Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation (2nd Ed.), Addison Wesley, Garey, M.R.: Johnson, D.S.: Computers and Intractability : A Guide to the Theory of NP-Completeness (Series of Books in the Mathematical Sciences), W.H. Freeman Cormen, T. H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, (2nd Edition), MIT Press 2001.

Organizační poznámky Úvodní seminář Samostatná práce studentů Konzultace problémů   osobní konzultace (po předchozí dohodě) Odevzdání závěrečné práce Zkouška

Závěrečná práce Téma: Teoretická informatika ve vztahu k tématu Vaší disertační práce nebo ve vztahu k problematice, která Vás zajímá Rozsah: cca 3000 slov Formát: článek (ve formátu Word nebo PDF) Odevzdání: mailem na Termín odevzdání: Termín vyhodnocení: do dvou až tří týdnů

Zkouška Diskuse nad odevzdanou závěrečnou prací  kvalita a hloubka odevzdané práce  vztah k tématu vlastní disertace Ověření načerpaných znalostí z oblasti  teorie automatů a formálních jazyků  teorie vyčíslitelnosti  teorie složitosti