Kurs seznamuje s vybranými metodami a výsledky některých pokročilých
partií teoretické informatiky, např. z oblasti aproximačních algoritmů,
pravděpodobnostních algoritmů, verifikace konkurentních systémů aj.
Povinná literatura
P. Jančar: pracovní text ke kursu "Vybrané partie teoretické informatiky"
Doporučená literatura
L. Kučera: Kombinatorické algoritmy, matem. seminář SNTL 18, Praha 1983
Ausiello, Crescenzi, Gambosi, Kann, Marchetti-Spaccamela, Protasi: Complexity
and Approximation; Springer 1999
Clarke, Grumberg, Peled: Model Checking, MIT Press 1999
T. Cormen, C. Leiserson, R. Rivest: Introduction to Algorithms; The MIT Press,
1990
Gibbons, Rytter: Efficient parallel algorithms; 1988, Cambridge Univ.Press,
J.Gruska: Foundation of Computing. International Thomson Computer Press 1997.
Gruska, Jozef: Quantum Computing, Mc Graw Hill 1999
Hromkovič J.: Communication complexity and parallel computing; Springer 1997
Lynch N.A.: Distributed Algorithms; Morgan Kaufmann 1996
Reisig, Rosenberg (eds.): Lectures on Petri nets I, II, Springer 1998
M. Sipser: Introduction to the Theory of Computation; PWS 1997