Courses in bachelor studies
| Code | Course name |
|---|---|
| BI-ZDM | Elements of Discrete Mathematics |
| BIE-ZDM | Elements of Discrete Mathematics |
| BIK-ZDM | Elements of Discrete Mathematics |
| BI-ICS | Introduction to Computer Science |
| BI-ICS.18 | Introduction to Computer Science |
Courses in master studies
| Code | Course name |
|---|---|
| MIE-FLP.16 | Functional and Logical Programming |
Courses in doctoral studies
| Code | Course name |
|---|---|
| PI-ASP | Architecture of Symbolic Computers |