| | |  |
|  Code |  Title |  Semester | Hours per week, examination | Department | Faculty | Virtual mobility | Capacity | 4EU+ |
 |
NTIN060 |
Algorithms and Data Structures I |
summer |
summer s.:2/2, C+Ex [HT] |
32-KTIML |
MFF |
no |
|
no |
 |
NTIN061 |
Algorithms and Data Structures II |
winter |
winter s.:2/2, C+Ex [HT] |
32-KAM |
MFF |
no |
|
no |
 |
NAIL078 |
Lambda Calculus and Functional Programming I |
winter |
winter s.:2/1, C+Ex [HT] |
32-KTIML |
MFF |
no |
|
no |
 |
NAIL079 |
Lambda Calculus and Functional Programming II |
summer |
summer s.:2/1, C+Ex [HT] |
32-KTIML |
MFF |
no |
|
no |
 |
NAIL076 |
Logic Programming I |
winter |
winter s.:2/0, Ex [HT] |
32-KTIML |
MFF |
no |
|
no |
 |
NAIL077 |
Logic Programming II |
summer |
summer s.:2/0, Ex [HT] |
32-KTIML |
MFF |
no |
|
no |
 |
NAIL022 |
Methods of Logic Programming |
winter |
winter 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 |
 |
NPRG045 |
Individual Software Project |
both |
0/1, C [HT] |
32-KSI |
MFF |
no |
|
no |
 |
NAIL006 |
Seminar on Logic Programming I |
winter |
winter s.:0/2, C [HT] |
32-KTIML |
MFF |
no |
|
no |
 |
NAIL009 |
Seminar on Logic Programming II |
summer |
summer s.:0/2, C [HT] |
32-KTIML |
MFF |
no |
|
no |
|