- Computer-aided Diagnostics and Therapy 2B01655 | First Faculty of Medicine
- Mathematical logic +5OKBM3M053A | Faculty of Education
- Gödel's Theorems and IncompletnessALG119007 | Faculty of Arts
- Formalization seminarNMAG585 | Faculty of Mathematics and Physics
- Combinatorics on WordsNMAG444 | Faculty of Mathematics and Physics
- International Organisations +1APO100015 | Faculty of Arts
- Computer-aided Diagnostics and Therapy 1B01089 | First Faculty of Medicine
- R programming course for beginnersANM50604 | Faculty of Arts
- Analysis and Interpretation of Literary TextAIT100018 | Faculty of Arts
- LogicOPNI4M102C | Faculty of Education
- Propositional and predicate logic IIALG119012 | Faculty of Arts
- School etnography IO06313022 | Faculty of Education
- History of modern mathematics and logicALG119002 | Faculty of Arts
- Theory of the DisciplineAET100163 | Faculty of Arts
- Video on DemandAFV0000241 | Faculty of Arts
- Model "Sense - Text" as a Formal Description of GrammarARU400137 | Faculty of Arts
- Advanced mathematical logicNAIL111 | Faculty of Mathematics and Physics
- Mathematical LogicNMAG331 | Faculty of Mathematics and Physics
- Ethics R IIOCRO17OV10 | Faculty of Education
- aOCRO23OV26 | Faculty of Education
- Practice in Leisure activities with reflectionOPBZ1Q002B | Faculty of Education
- Clinical InformaticsB02305 | First Faculty of Medicine
- Ethics of Helping Professions +1YMRP0002 | Faculty of Humanities