Po 9:50 - 11:20 (2 v.hod.) A Prednáška Deklaratívne programovanie J. Komara, J. Kľuka
Ut 14:50 - 16:20 (2 v.hod.) M-II Prednáška Špecifikácia a verifikácia programov J. Komara
Ut 16:30 - 18:00 (2 v.hod.) I-H3 Cvičenie Deklaratívne programovanie J. Komara
Ut 16:30 - 18:00 (2 v.hod.) I-H3 Cvičenie Špecifikácia a verifikácia programov J. Komara
St 14:50 - 16:20 (2 v.hod.) I-H6 Cvičenie Úvod do deklaratívneho programovania J. Komara, J. Kľuka
St 16:30 - 18:00 (2 v.hod.) I-H6 Cvičenie Úvod do deklaratívneho programovania J. Komara, J. Kľuka
Št 8:10 - 9:40 (2 v.hod.) F1-328 Cvičenie Diskrétna matematika (2) J. Komara