Po 9:00 - 11:15 (3 v.hod.) M-VI 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. Markošová Po 16:30 - 18:00 (2 v.hod.) M-VIII Výber/Vol Kvantové spracovanie informácie M. Plesch Ut 9:50 - 12:05 (3 v.hod.) B Prednáška Tvorba efektívnych algoritmov P. Ďuriš Ut 14:00 - 15:30 (2 v.hod.) I-9 Prednáška Logika pre informatikov J. Komara Ut 15:40 - 17:10 (2 v.hod.) I-9 Prednáška Plánovanie (úvod do reprezentácie znalostí) J. Šiška 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.) M-VII Výber/Vol Úvod do bakalárskej práce B. Brejová, J. Katreniaková St 13:10 - 18:25 (7 v.hod.) KTVS Nezadaný typ Telesná výchova a šport (5) KTVŠ Št 13:10 - 14:40 (2 v.hod.) F1-248 Výber/Vol Plánovanie (úvod do reprezentácie znalostí) J. Šiška Št 16:30 - 18:00 (2 v.hod.) M-VII Cvičenie Tvorba efektívnych algoritmov B. Candráková Št 18:10 - 19:40 (2 v.hod.) I-H6 Cvičenie Základy umelej inteligencie (1) V. Dillinger, M. Markošová Pi 13:10 - 16:10 (4 v.hod.) I-H3 Výber/Vol Rýchlostné programovanie (5) M. Forišek, M. Winczer