
Course ID
![]() |
Course name
![]() |
Level
![]() |
EC
![]() |
Timeslot
![]() |
CS
![]() |
||
---|---|---|---|---|---|---|---|
|
Probabilistic reasoning | M | 7.5 | D | PT |
||
|
|||||||
|
Program semantics and verification | M | 7.5 | A | PT |
||
|
Course ID
![]() |
Course name
![]() |
Level
![]() |
EC
![]() |
Timeslot
![]() |
CS
![]() |
||
---|---|---|---|---|---|---|---|
|
Concepts of programming language design | M | 7.5 | C | PT |
||
|
Course ID
![]() |
Course name
![]() |
Level
![]() |
EC
![]() |
Timeslot
![]() |
CS
![]() |
||
---|---|---|---|---|---|---|---|
|
Advanced functional programming | M | 7.5 | A | PT |
||
|
Course ID
![]() |
Course name
![]() |
Level
![]() |
EC
![]() |
Timeslot
![]() |
CS
![]() |
||
---|---|---|---|---|---|---|---|
|
Language Based Security | M | 7.5 | D | PT |
||
|