 | On Thursday, September 4, 2025, from 8:00 PM to 10:00 PM, there will be an outage of WhoIs system. This will limit work in IS studium. For example, you will not be able to submit thesis. Subscription to courses should remain unaffected by the outage. We apologize for any inconveniece and we thank you for understanding. |
 |
  Code | Title | Semester | Hours per week, examination | Department | Faculty | Virtual mobility | Capacity | 4EU+ | |
 |
NMIN105 | Discrete Mathematics | winter | winter s.:2/2, C+Ex [HT] | 32-IUUK | 11320 | no | no | |
|
O02310043 | Discrete mathematics | summer | summer s.:1/2, MC [HT] | 41-KMDM | 11410 | no | no | |
|
NMAG331 | Mathematical Logic | winter | winter s.:2/0, Ex [HT] | 32-KA | 11320 | no | no | |
|
NMAI071 | Math++ | summer | summer s.:2/2, C+Ex [HT] | 32-KAM | 11320 | no | no | |
|
NMAI075 | Seminar on classification of homogeneous structures | winter | winter s.:0/2, C [HT] | 32-KAM | 11320 | no | no | |
|
NMMB551 | Seminar on Combinatorial, Algorithmic and Finitary Algebra | both | 0/2, C [HT] | 32-KA | 11320 | no | no | |
|
NMMB453 | Students' Seminar on Logic | both | 0/2, C [HT] | 32-KA | 11320 | no | no | |
|
NMIN160 | Set Theory | winter | winter s.:2/0, Ex [HT] | 32-KA | 11320 | no | no | |
|
NMAG162 | Introduction to Mathematical Logic | summer | summer s.:2/0, Ex [HT] | 32-KA | 11320 | no | no | |
|
NMAI040 | Introduction to Number Theory | winter | winter s.:2/0, Ex [HT] | 32-KAM | 11320 | no | no | |
|
NMIN331 | Foundations of Combinatorics and Graph Theory | summer | summer s.:2/2, C+Ex [HT] | 32-KAM | 11320 | no | no |