| Rozsah | 1+1 | Kredity | 1 | |
| Semestr | Z,L | Zakončení | Z |
Předmět poskytuje obecný pohled na problematiku návrhu a analýzy vlastností algoritmů (specifikace, důkazy správnosti, časová a paměťová složitost, jejich měření a dokazování). Výklad není zaměřen na konkrétní programovací jazyk. Probírají se základní modely výpočtu, základní datové struktury, třídění, vybrané grafové algoritmy a další. Třídy úloh P a NP.
Literatura:
Kozen, D.: The Design and Analysys of Algorithms, Springer, 1991.
Učitel: Doc.RNDr. Demel Jiří CSc.