| | | |
| Code | Title | Semester | Hours per week, examination | Department | Faculty | Virtual mobility | Capacity | 4EU+ |
|
NTIN060 |
Algorithms and Data Structures 1 |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
MFF |
no |
|
no |
|
NTIN061 |
Algorithms and Data Structures 2 |
winter |
winter s.:2/2, C+Ex [HT] |
32-KAM |
MFF |
no |
|
no |
|
NAIX078 |
Lambda Calculus and Functional Programming I |
winter |
winter s.:2/1, C+Ex [HT] |
32-STUD |
MFF |
no |
|
no |
|
NAIL078 |
Lambda Calculus and Functional Programming 1 |
winter |
winter s.:2/1, C+Ex [HT] |
32-KTIML |
MFF |
no |
|
no |
|
NAIL079 |
Lambda Calculus and Functional Programming 2 |
summer |
summer s.:2/1, C+Ex [HT] |
32-KTIML |
MFF |
no |
|
no |
|
NAIL076 |
Logic Programming 1 |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
MFF |
no |
|
no |
|
NAIL077 |
Logic Programming 2 |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
MFF |
no |
|
no |
|
NPRG005 |
Non-procedural Programming |
summer |
summer s.:2/2, C+Ex [HT] |
32-KSVI |
MFF |
no |
|
no |
|
NPRX005 |
Non-procedural Programming |
summer |
summer s.:2/2, C+Ex [HT] |
32-STUD |
MFF |
no |
|
no |
|
NPRG045 |
Individual Software Project |
both |
0/1, C [HT] |
32-KSI |
MFF |
no |
|
no |
|
NAIL062 |
Propositional and Predicate Logic |
winter |
winter s.:2/2, C+Ex [HT] |
32-KTIML |
MFF |
no |
|
no |
|