Ukončeno v akademickém roce 2006/2007

Selected Topics of Theoretical Computer Science

Type of study	Master
Language of instruction	Czech
Code	456-0335/01
Abbreviation	VPTI
Course title	Selected Topics of Theoretical Computer Science
Credits	5
Coordinating department	Department of Computer Science
Course coordinator	prof. RNDr. Petr Jančar, CSc.

Osnova předmětu

Lectures:

Approximation algorithms and the related complexity classes

Probabilistic algorithms and the related complexity classes

Parallel algorithms and the related complexity classes

Distributed algorithms; communication complexity

Quantum computing; DNA computing

Concurrent systems, Petri nets

Verification of systems (temporal logic, model checking)

Projects:
Individual study and written elaboration of a given topic,
which usually includes oral presentation.

Povinná literatura

P. Jančar: a working text for the course

Doporučená literatura

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í