- Základy logiky a matematikyJSB035 | Fakulta sociálních věd
- Úvod do výpočetní topologieNMMB464 | Matematicko-fyzikální fakulta
- Metrické prostoryNMMA164 | Matematicko-fyzikální fakulta
- Seminář z logického programování 1NAIL006 | Matematicko-fyzikální fakulta
- Seminář z logického programování 2NAIL009 | Matematicko-fyzikální fakulta