| Rozsah | 2+0 | Kredity | 3 | |
| Semestr | Z | Zakončení | ZK |
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é úloh grafové algoritmy a další.
Literatura:
Kozen, D.: The Design and Analysys of Algorithms, Springer, 1991.
Učitel: Doc. RNDr. Demel Jiří CSc.