| | | |
| Code | Title | Semester | Hours per week, examination | Department | Faculty | Cyclical teaching | Virtual mobility | Capacity | 4EU+ |
|
NMAG337 |
Introduction to Group Theory |
winter |
winter s.:2/2, C+Ex [HT] |
32-KA |
11320 |
no |
no |
|
no |
|
NMAG573 |
Seminar on CSP |
summer |
summer s.:0/2, C [HT] |
32-KA |
11320 |
no |
no |
|
no |
|
NMAG581 |
Algebra colloquium |
both |
0/2, C [HT] |
32-KA |
11320 |
no |
no |
|
no |
|
NMMB460 |
Cryptanalysis Upon the Level of Instructions |
summer |
summer s.:0/4, C [HT] |
32-KA |
11320 |
no |
no |
|
no |
|
NMMB462 |
Application of Security Mechanisms |
summer |
summer s.:2/0, Ex [HT] |
32-KA |
11320 |
no |
no |
|
no |
|
NMMB498 |
MIT Elective 1 |
winter |
winter s.:2/0, Ex [HT] |
32-KA |
11320 |
no |
no |
|
no |
|
NMMB499 |
MIT Elective 2 |
summer |
summer s.:2/0, Ex [HT] |
32-KA |
11320 |
no |
no |
|
no |
|
NMMB562 |
Machine Learning and Reasoning |
summer |
summer s.:2/0, Ex [HT] |
32-KA |
11320 |
no |
no |
|
no |
|
NMMB564 |
Evolving Structures in Mathematics |
winter |
winter s.:0/2, C [HT] |
32-KA |
11320 |
no |
no |
|
no |
|
NMMB566 |
Formal Mathematics and Proof Assistants |
summer |
summer s.:2/0, Ex [HT] |
32-KA |
11320 |
no |
no |
|
no |
|
NMMB568 |
Formal Mathematics and Proof Assistants |
summer |
summer s.:2/1, C+Ex [HT] |
32-KA |
11320 |
no |
no |
|
no |
|
NMMO537 |
Saddle Point Problems and Their Solution |
summer |
summer s.:2/2, C+Ex [HT] |
32-KNM |
11320 |
no |
no |
|
no |
|
NSWI090 |
Computer Networks |
summer |
summer s.:2/0, Ex [HT] |
32-KSI |
11320 |
no |
no |
|
no |
|