- Lambda-kalkulus a funkcionální programování 1NAIL078 | Matematicko-fyzikální fakulta
- Lambda-kalkulus a funkcionální programování INAIX078 | Matematicko-fyzikální fakulta
- Neúplnost a Gödelovy větyALG119007 | Filozofická fakulta
- Logika v informaticeNMAI067 | Matematicko-fyzikální fakulta
- Mezinárodní ekonomické vztahy IJPM051 | Fakulta sociálních věd
