Principles of logic and functional programming, explained through programming languages Prolog and Haskell.
- Teacher: Tomáš Bílý
- Teacher: Adam Dingle
- Teacher: Tomáš Dvořák
- Teacher: Jiří Frantál
- Teacher: Tomáš Holan
- Teacher: Jan Hric
- Teacher: Kate Konczycki
- Teacher: Pavel Koupil
- Teacher: Miroslav Kratochvíl
- Teacher: Rudolf Kryl
- Teacher: Martin Mareš
- Teacher: Jakub Mestek
- Teacher: Martin Pergel
- Teacher: Martin Pilát
- Teacher: Vít Šefl
- Teacher: Jiří Šejnoha
- Teacher: Michal Töpfer
- Teacher: Pavel Töpfer