| | |  |
|  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 |
|