- Logické programování 1NAIL076 | Matematicko-fyzikální fakulta
- Metody logického programováníNAIL022 | Matematicko-fyzikální fakulta
- Logické programování 2NAIL077 | 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
- Logika a informaceALG110019 | Filozofická fakulta
- Logika a informace (jednosemestralni varianta)ALG112019 | Filozofická fakulta
- Universální algebra pro logikyALGV00047 | Filozofická fakulta
- Alternativní programovací paradigmaALGV19005 | Filozofická fakulta
- Procedurální generování obsahu počítačových her +1NAIL123 | Matematicko-fyzikální fakulta
- Strojové učeníNAIL029 | Matematicko-fyzikální fakulta
- Formal Mathematics and Proof Assistants +1NMMB566 | Matematicko-fyzikální fakulta
- Funkcionální programováníNAIL097 | Matematicko-fyzikální fakulta
- Seminář strojového učení a modelování 1NAIL099 | Matematicko-fyzikální fakulta
- Seminář strojového učení a modelování 2NAIL100 | Matematicko-fyzikální fakulta
