- Formal Mathematics and Proof Assistants +1NMMB566 | Faculty of Mathematics and Physics
- Methods of proofs +1OB2310300 | Faculty of Education
- Proof Complexity and the P vs. NP ProblemNMAG536 | Faculty of Mathematics and Physics
- Proof Theory +2ALG500001 | Faculty of Arts
- From proof to metaproofALGV00113 | Faculty of Arts
- On One Possible Proof of the Existence of GodAFS500309 | Faculty of Arts
- Computer-Assisted Proofs in Discrete DynamicsNMNV497 | Faculty of Mathematics and Physics
- Copernican Revolutions of the Visible Time: The Intersections of Astronomy, Geology and Art from 17th to 19th CenturyYBF215 | Faculty of Humanities
- History of mathematical thinkingOPNM3M011A | Faculty of Education
- History of mathematical thinkingOPNM4M011A | Faculty of Education
- Complexity for CryptographyNMMB405 | Faculty of Mathematics and Physics
- Scotus's Proof of the Existence of God (Latin Reading)AFS100586 | Faculty of Arts
- Bachelor's Thesis Seminar IIJEB002 | Faculty of Social Sciences
- Mathematical Communication in English INJAZ205 | Faculty of Mathematics and Physics
- Logic in Computer ScienceNMAI067 | Faculty of Mathematics and Physics
- Logic +2OKB1310N02 | Faculty of Education
- Mathematical Communication in English IINJAZ206 | Faculty of Mathematics and Physics
- Formalization seminarNMAG585 | Faculty of Mathematics and Physics
- Synthetic Geometry III +1OKBM1M120A | Faculty of Education
- Current issues of social sciencesOIBZ1O019B | Faculty of Education
- Linear Algebra Applications in Combinatorics +1NDMI028 | Faculty of Mathematics and Physics
- Logic seminarOB1310003 | Faculty of Education