Po 9:50 - 12:05 (3 v.hod.) M-I Prednáška Formálna sémantika a teória správnosti I. Prívara Po 12:20 - 13:50 (2 v.hod.) A Prednáška Základy umelej inteligencie (1) M. Čajági, P. Náther, M. Markošová Po 16:30 - 18:00 (2 v.hod.) I-H6 Cvičenie Základy umelej inteligencie (1) V. Dillinger Ut 9:50 - 12:05 (3 v.hod.) B Prednáška Tvorba efektívnych algoritmov P. Ďuriš Ut 13:10 - 14:40 (2 v.hod.) I-9 Prednáška Plánovanie (úvod do reprezentácie znalostí) J. Šiška Ut 14:50 - 16:20 (2 v.hod.) I-9 Prednáška Logika pre informatikov J. Komara St 8:10 - 9:40 (2 v.hod.) M-VII Výber/Vol Úvod do bakalárskej práce M. Pastorová St 9:50 - 11:20 (2 v.hod.) F1-248 Cvičenie Logika pre informatikov J. Komara St 11:30 - 13:00 (2 v.hod.) F1-248 Výber/Vol Plánovanie (úvod do reprezentácie znalostí) J. Šiška St 13:10 - 18:25 (7 v.hod.) KTVS Nezadaný typ Telesná výchova a šport (5) KTVŠ Št 16:30 - 18:00 (2 v.hod.) M-III Cvičenie Tvorba efektívnych algoritmov M. Kováč Pi 13:10 - 16:10 (4 v.hod.) I-H3 Výber/Vol Rýchlostné programovanie (5) M. Forišek