Po 9:50 - 11:20 (2 v.hod.) A Prednáška Deklaratívne programovanie J. Komara, J. Kľuka
Po 11:30 - 12:15 (1 v.hod.) M-X Prednáška Deklaratívne programovanie J. Komara
Ut 11:30 - 13:00 (2 v.hod.) A Prednáška Diskrétna matematika (2) J. Komara
Ut 15:40 - 17:10 (2 v.hod.) F1-247 Cvičenie Diskrétna matematika (2) (slovenská verzia) J. Komara
Ut 18:10 - 19:40 (2 v.hod.) I-H6 Cvičenie Deklaratívne programovanie J. Komara
Ut 18:10 - 19:40 (2 v.hod.) I-H6 Cvičenie Úvod do deklaratívneho programovania J. Komara, J. Kľuka
St 14:00 - 15:30 (2 v.hod.) M-IX Prednáška Špecifikácia a verifikácia programov J. Komara
St 15:40 - 17:10 (2 v.hod.) I-H6 Cvičenie Úvod do deklaratívneho programovania J. Frtús, J. Komara, J. Kľuka
St 17:20 - 18:50 (2 v.hod.) F1-248 Cvičenie Špecifikácia a verifikácia programov J. Komara