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

Teoretická informatika II 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: Sipser, M.: Introduction to the Theory of Computation Course Technology, 2nd Ed., Thomson, Boston, MA, 2006. Linz, P., An Introduction to Formal Languages and Automata, Fifth Edition. Jones & Bartlett Learning, 2001. Jančar, P., Kot, M., Sawa, Z.: Teoretická informatika. VŠB – Technická univerzita Ostrava, 2007. Wayne Goddard: Introducing the Theory of Computation. Jones & Bartlett Learning, 2008. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation (2nd Ed.), Addison Wesley, 2000. 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 1979. 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ů Josef.Hynek@uhk.cz 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 Josef.Hynek@uhk.cz Termín odevzdání: 2. 6. 2017 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