- Formal Mathematics and Proof Assistants +1NMMB566 | Matematicko-fyzikální fakulta
- Metody dokazování +1OB2310300 | Pedagogická fakulta
- Důkazová složitost a P vs. NP problémNMAG536 | Matematicko-fyzikální fakulta
- Teorie důkazů +2ALG500001 | Filozofická fakulta
- Od důkazu k metadůkazuALGV00113 | Filozofická fakulta
- Kant: O jediném možném důkazu Boží existenceAFS500309 | Filozofická fakulta
- Důkazy s podporou počítače v diskrétní dynamiceNMNV497 | Matematicko-fyzikální fakulta
- Revoluce viditelného času: zvraty astronomie, geologie a umění 17. a 18. stoletíYBF215 | Fakulta humanitních studií
- History of mathematical thinking +1OPNM3M011A | Pedagogická fakulta
- Složitost pro kryptografiiNMMB405 | Matematicko-fyzikální fakulta
- Duns Scotus - důkaz Boží existence (lat. četba, Vk)AFS100586 | Filozofická fakulta
- Bachelor's Thesis Seminar IIJEB002 | Fakulta sociálních věd
- Mathematical Communication in English INJAZ205 | Matematicko-fyzikální fakulta
- Logika v informaticeNMAI067 | Matematicko-fyzikální fakulta
- Logika +2OKB1310N02 | Pedagogická fakulta
- Mathematical Communication in English IINJAZ206 | Matematicko-fyzikální fakulta
- Formalizační seminářNMAG585 | Matematicko-fyzikální fakulta
- Syntetická geometrie III +1OKBM1M120A | Pedagogická fakulta
- Aktuální otázky společenských vědOIBZ1O019B | Pedagogická fakulta
- Aplikace lineární algebry v kombinatorice +1NDMI028 | Matematicko-fyzikální fakulta
- Logika seminářOB1310003 | Pedagogická fakulta