Třídy složitosti úloh, polynomiální, NP, exponenciální, NP-úplné problémy. Prvočíselnost. Kryptografie. Vyčíslitelnost: Turingovy stroje, primitivně rekurzivní funkce, Kleeneho věta o normální formě,
algoritmicky neřešitelné problémy, rekurzivní a rekurzivně spočetné množiny.
- Učitel: Lenka kosková Třísková