- Logic Programming 1NAIL076 | Faculty of Mathematics and Physics
- Methods of Logic ProgrammingNAIL022 | Faculty of Mathematics and Physics
- Logic Programming 2NAIL077 | Faculty of Mathematics and Physics
- Seminar on Logic Programming 1NAIL006 | Faculty of Mathematics and Physics
- Seminar on Logic Programming 2NAIL009 | Faculty of Mathematics and Physics
- Logic and Information +1ALG110019 | Faculty of Arts
- Universal algebra for logiciansALGV00047 | Faculty of Arts
- Alternative programming paradigmsALGV19005 | Faculty of Arts
- Procedural Content Generation for Computer Games +1NAIL123 | Faculty of Mathematics and Physics
- Machine LearningNAIL029 | Faculty of Mathematics and Physics
- Formal Mathematics and Proof Assistants +1NMMB566 | Faculty of Mathematics and Physics
- Functional programmingNAIL097 | Faculty of Mathematics and Physics
- Seminar of machine learning and modelling 1NAIL099 | Faculty of Mathematics and Physics
- Seminar of machine learning and modelling 2NAIL100 | Faculty of Mathematics and Physics
