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

Prezentace na téma: "Teoretická informatika Základní informace k předmětu Literatura Závěrečná práce Zkouška."— Transkript prezentace:

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

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

3 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ů)

4 Doporučená literatura: 1. Sipser, M.: Introduction to the Theory of Computation Course Technology, 2nd Ed., Thomson, Boston, MA, 2006. 2. Linz, P., An Introduction to Formal Languages and Automata, Fifth Edition. Jones & Bartlett Learning, 2001. 3. Jančar, P., Kot, M., Sawa, Z.: Teoretická informatika. VŠB – Technická univerzita Ostrava, 2007. 4. Wayne Goddard: Introducing the Theory of Computation. Jones & Bartlett Learning, 2008. 5. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation (2nd Ed.), Addison Wesley, 2000. 6. 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. 7. Cormen, T. H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, (2nd Edition), MIT Press 2001.

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

6 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í: 27. 6. 2014 Termín vyhodnocení: do dvou až tří týdnů

7 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