- Foundations of theoretical cryptography +1NTIN104 | Faculty of Mathematics and Physics
- Chapters from Classical LogicALG500003 | Faculty of Arts
- Chapters from Classical Logic IALG519019 | Faculty of Arts
- Chapters from Classical Logic IIALG519020 | Faculty of Arts
- Applied Cryptography 1NMMB301 | Faculty of Mathematics and Physics
- Properties of axiomatic theoriesALG119006 | Faculty of Arts
- Functional programmingNAIL097 | Faculty of Mathematics and Physics