Po 9:50 - 11:20 (2 v.hod.) B Kurz 1-INF-210 Úvod do matematickej logiky J. Mazák Po 11:30 - 13:45 (3 v.hod.) M-IV Prednáška 2-INF-186 Formálne jazyky a automaty (2) B. Rovan Po 16:30 - 18:00 (2 v.hod.) M-XI Prednáška 2-INF-182 Algebra (3) M. Sleziak Po 18:10 - 19:40 (2 v.hod.) M-XI Cvičenie 2-INF-182 Algebra (3) M. Sleziak Ut 8:10 - 12:40 (6 v.hod.) Cvičenie 1-MXX-220 Telesná výchova a šport (4) KTVŠ Ut 13:10 - 14:40 (2 v.hod.) F1-109 Prednáška 1-INF-175 Spoločenské aspekty informatiky M. Winczer Ut 16:30 - 18:00 (2 v.hod.) M-VII Cvičenie 2-INF-186 Formálne jazyky a automaty (2) P. Kostolányi Ut 18:10 - 19:40 (2 v.hod.) Nezadaný typ písomky St 9:00 - 11:15 (3 v.hod.) F2 Prednáška 1-INF-310 Tvorba efektívnych algoritmov M. Anderle St 14:00 - 16:15 (3 v.hod.) F1-328 Kurz 1-INF-210 Úvod do matematickej logiky R. Lukoťka St 16:30 - 18:00 (2 v.hod.) M-KI Seminár 1-INF-265 Ročníkový projekt (2) (konzultačne) T. Plachetka St 18:10 - 19:40 (2 v.hod.) M-213 Cvičenie 1-INF-171 Operačné systémy (konzultačne) J. Mazák Št 8:10 - 9:40 (2 v.hod.) M-IV Cvičenie 1-INF-310 Tvorba efektívnych algoritmov (každý druhý týždeň) J. Rajník Št 9:50 - 12:05 (3 v.hod.) F1-108 Prednáška 1-INF-171 Operačné systémy D. Bernát Pi 8:10 - 9:40 (2 v.hod.) A Prednáška 1-INF-283 Počítačové siete (1) J. Janáček Pi 9:50 - 11:20 (2 v.hod.) M-III Cvičenie 1-MXX-232 Anglický jazyk (4) E. Foltánová Pi 11:30 - 13:00 (2 v.hod.) I-H6 Cvičenie 1-INF-283 Počítačové siete (1) (raz za dva týždne) D. Bernát, J. Janáček Pi 13:10 - 16:10 (4 v.hod.) M-217 Cvičenie 1-INF-825 Rýchlostné programovanie (4) V. Boža