1 / 7

Teoretická informatika

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:

mary-battle
Download Presentation

Teoretická informatika

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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: • Sipser, M.: Introduction to theTheory of ComputationCourse Technology, 2nd Ed., Thomson, Boston, MA, 2006. • Linz, P., AnIntroduction to FormalLanguages and Automata, FifthEdition. Jones & BartlettLearning, 2001. • Jančar, P., Kot, M., Sawa, Z.: Teoretická informatika. VŠB – Technická univerzita Ostrava, 2007. • WayneGoddard: IntroducingtheTheory of Computation. Jones & BartlettLearning, 2008. • Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to AutomataTheory, Languages and Computation (2nd Ed.), AddisonWesley, 2000. • Garey, M.R.: Johnson, D.S.: Computers and Intractability : A Guide to theTheory of NP-Completeness (Series of Books in theMathematicalSciences), W.H. Freeman 1979. • 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 • 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

More Related