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 Po 16:30 - 18:00 (2 v.hod.) I-H6 Cvičenie Základy umelej inteligencie (1) V. Dillinger, M. Markošová Po 16:30 - 18:45 (3 v.hod.) F2 Prednáška Objektová analýza a modelovanie R. Červenka Ut 8:10 - 9:40 (2 v.hod.) F1-109 Prednáška Teória paralelných výpočtov B. Rovan Ut 9:50 - 11:20 (2 v.hod.) F1-248 Cvičenie Počítačové videnie (1) E. Šikudová Ut 9:50 - 10:35 (1 v.hod.) F2-T3 Cvičenie Kompilátory M. Hozza Ut 13:10 - 15:25 (3 v.hod.) M-III Kurz Architektúry orientované na služby - princípy a technológie P. Fabo, J. Withalm Ut 13:10 - 15:25 (3 v.hod.) M-T4 Kurz Architektúry orientované na služby - princípy a technológie P. Fabo, J. Withalm Ut 14:00 - 16:15 (3 v.hod.) M-IV Prednáška Kompilátory R. Ostertág Ut 15:40 - 17:10 (2 v.hod.) M-III Cvičenie Výpočtová zložitosť a vypočítateľnosť I. Kováč Ut 17:20 - 18:50 (2 v.hod.) I-9 Seminár Seminár z bioinformatiky (1) B. Brejová, T. Vinař Ut 18:10 - 19:40 (2 v.hod.) I-H3 Cvičenie Logické programovanie ASP J. Šiška St 9:00 - 11:15 (3 v.hod.) M-VII Prednáška Výpočtová zložitosť a vypočítateľnosť P. Ďuriš St 11:30 - 13:00 (2 v.hod.) M-XII Prednáška Logické programovanie ASP J. Šiška St 13:10 - 14:40 (2 v.hod.) F1-109 Cvičenie Výpočtová zložitosť a vypočítateľnosť I. Kováč St 14:50 - 16:20 (2 v.hod.) M-III Seminár Preddiplomový projekt B. Rovan Št 8:10 - 10:25 (3 v.hod.) F1-109 Prednáška Teória paralelných výpočtov B. Rovan Št 8:10 - 9:40 (2 v.hod.) M-VI Cvičenie Objektová analýza a modelovanie R. Lukoťka Št 14:00 - 15:30 (2 v.hod.) F1-328 Cvičenie Metódy v bioinformatike B. Brejová, T. Vinař Št 15:40 - 17:10 (2 v.hod.) F1-328 Prednáška Metódy v bioinformatike B. Brejová, T. Vinař Pi 8:10 - 12:40 (6 v.hod.) KTVS Nezadaný typ Telesná výchova a šport (1) KTVŠ