Courses in bachelor studies
| Code | Course name |
|---|---|
| BI-ALO | Algebra and Logic |
Courses in master studies
| Code | Course name |
|---|---|
| MI-VYC | Computability |
| NI-MSI | Mathematical Structures in Computer Science |
| NI-TKA | Category Theory |
| NI-VYC | Computability |
| NIE-VYC | Computability |