| | |  |
|  Kód |  Název |  Semestr | Rozsah, examinace | Katedra | Fakulta | Virtuál. mob. | Poč. míst | 4EU+ |
 |
NTIN060 |
Algoritmy a datové struktury 1 |
letní |
letní s.:2/2, Z+Zk [HT] |
32-KTIML |
MFF |
ne |
|
ne |
 |
NTIN061 |
Algoritmy a datové struktury 2 |
zimní |
zimní s.:2/2, Z+Zk [HT] |
32-KAM |
MFF |
ne |
|
ne |
 |
NAIX078 |
Lambda-kalkulus a funkcionální programování I |
zimní |
zimní s.:2/1, Z+Zk [HT] |
32-STUD |
MFF |
ne |
|
ne |
 |
NAIL078 |
Lambda-kalkulus a funkcionální programování 1 |
zimní |
zimní s.:2/1, Z+Zk [HT] |
32-KTIML |
MFF |
ne |
|
ne |
 |
NAIL079 |
Lambda-kalkulus a funkcionální programování 2 |
letní |
letní s.:2/1, Z+Zk [HT] |
32-KTIML |
MFF |
ne |
|
ne |
 |
NAIL076 |
Logické programování 1 |
zimní |
zimní s.:2/0, Zk [HT] |
32-KTIML |
MFF |
ne |
|
ne |
 |
NAIL077 |
Logické programování 2 |
letní |
letní s.:2/0, Zk [HT] |
32-KTIML |
MFF |
ne |
|
ne |
 |
NPRG005 |
Neprocedurální programování |
letní |
letní s.:2/2, Z+Zk [HT] |
32-KSVI |
MFF |
ne |
|
ne |
 |
NPRX005 |
Neprocedurální programování |
letní |
letní s.:2/2, Z+Zk [HT] |
32-STUD |
MFF |
ne |
|
ne |
 |
NPRG045 |
Ročníkový projekt |
oba |
0/1, Z [HT] |
32-KSI |
MFF |
ne |
|
ne |
 |
NAIL062 |
Výroková a predikátová logika |
zimní |
zimní s.:2/2, Z+Zk [HT] |
32-KTIML |
MFF |
ne |
|
ne |
|