Ukončeno v akademickém roce 2006/2007

Vybrané partie teoretické informatiky

Typ studia	magisterské
Jazyk výuky	čeština
Kód	456-0335/01
Zkratka	VPTI
Název předmětu česky	Vybrané partie teoretické informatiky
Název předmětu anglicky	Selected Topics of Theoretical Computer Science
Kreditů	5
Garantující katedra	Katedra informatiky
Garant předmětu	prof. RNDr. Petr Jančar, CSc.

Osnova předmětu

Přednášky:

Aproximační algoritmy, příslušné třídy složitosti

Pravděpodobnostní algoritmy, příslušné třídy složitosti

Paralelní algoritmy, příslušné třídy složitosti

Distribuované algoritmy; komunikační složitost

Kvantové výpočty, DNA computing

Konkurentní systémy, Petriho sítě

Verifikace systémů (mj. temporální logika, model checking)

Projekty:
Samostatné nastudování a písemné zpracování zadaného tématu,
zpravidla spojené s ústním referátem.

Povinná literatura

P. Jančar: pracovní text ke kursu

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

zpět na vyhledávání