Spring semester 2024/25

Nonprocedural Programming: Principles of logic and functional programming, explained via Prolog and Haskell programming languages. The language of instruction is Czech.; An English version of this course is given by Adam Dingle.
Speciální oborový seminář: A course for teachers' training program. The language of instruction is Czech.

Fall semester 2024/25

Introduction to Algorithms: A a fast-paced introduction into fundamental algorithms, algorithmic complexity, and data structures. The language of instruction is Czech.; An English version of this course is given by Adam Dingle.
String Algorithms: A survey of algorithms and data structures for efficient computation of patterns in strings with applications.
Data Compression Algorithms: A survey of state-of-the-art techniques used for both lossless and lossy data compression.