Předmět Vyčíslitelnost a složitost (KIP / QVYSL)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu KIP / QVYSL - Vyčíslitelnost a složitost, Přírodovědecká fakulta, Ostravská univerzita v Ostravě (OU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Literatura
S. Barry Cooper. Computability Theory. Chapman & Hall/CRC, 2004. ISBN 978-1-58488-237-4.Christos Papadimitriou. Computational Complexity. Addison Wesley, 1993. ISBN 0-201-53082-1.Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Cliff Stein. Introduction to Algorithms. MIT Press, 2001. Švejdar, V. Logika: neúplnost, složitost a nutnost. Academia Praha, 2002. ISBN 80-200-1005-X.Hromkovic Juraj. Theoretical Computer Science. Springer, 2004. &. [1]. A. Aho, J. Hopcroft, J. Ullman: The design and analysis of computer algorithms, Addison-Wesley, London 1974. [2]. P. Jančar: Pracovní text ke kursu "Vyčislitelnost a Složitost" (www stránky kurzu vyučovaného na VŠB) [3]. I. Černá: Úvod do teorie složitosti. Fakulta informatiky MU, Brno . &, &.
Požadavky
Zpracování projektu zaměřeného jednak na teoretické otázky vyčíslitelnosti a složitosti (výpočetní modely a jejich ekvivalence, strukturální složitost aj.) a také na praktickou aplikaci konkrétní složitosti na netriviálních algoritmech, nejlépe ve vazbě na téma disertační práce (např. odhady složitosti postupů řešených studentem v rámci doktorského studia). Student by s pomocí literatury nad rámec magisterského studia měl být schopen pochopit úzké vazby mezi disciplínami teoretické informatikou se zvláštním důrazem na problémy teorie algoritmů.
Garant
prof. Irina Perfiljeva, CSc.
Vyučující
prof. Irina Perfiljeva, CSc.