DL 1: All courses

Course categories:

Algorithms and Data Structures 1

Teacher: Ondřej Čepek
Teacher: Petr Kučera

Automata and Grammars

Large-scale optimization

Teacher: Jakub Bulín
Teacher: Jiří Fink

Algorithms for knowledge representation

Teacher: Petr Kučera

Decision procedures and SAT/SMT solvers

Teacher: Petr Kučera

Lambda-kalkulus a funkcionální programování 1

Teacher: Jan Hric

Constraint Programming

Teacher: Jakub Bulín

Výroková a predikátová logika

Teacher: Jakub Bulín
Teacher: Petr Gregor
Teacher: Jan Hric
Teacher: Kristýna Pantůčková
Teacher: Martin Pilát
Teacher: Marta Vomlelová

Algoritmy a datové struktury 2

Teacher: Jan Hric
Teacher: Michal Opler
Teacher: Jakub Pekárek