Předměty bakalářského studia
| Kód | Název předmětu |
|---|---|
| BI-ALO | Algebra a logika |
Předměty navazujícího magisterského studia
| Kód | Název předmětu |
|---|---|
| MI-VYC | Vyčíslitelnost |
| NI-MSI | Matematické struktury v informatice |
| NI-TKA | Teorie kategorií |
| NI-VYC | Vyčíslitelnost |
| NIE-VYC | Computability |