Po 9:00 - 11:15 (3 v.hod.) M-II Prednáška 2-INF-186 Formálne jazyky a automaty (2) B. Rovan Po 11:30 - 13:00 (2 v.hod.) B Kurz 1-INF-210 Úvod do matematickej logiky J. Mazák, J. Kľuka Po 16:30 - 18:00 (2 v.hod.) M-VIII Cvičenie 2-INF-186 Formálne jazyky a automaty (2) P. Kostolányi Po 18:10 - 19:40 (2 v.hod.) M-217 Seminár 1-INF-265 Ročníkový projekt (2) (konzultačne) T. Plachetka Ut 8:10 - 12:40 (6 v.hod.) KTVS Cvičenie 1-MXX-220 Telesná výchova a šport (4) Ut 13:10 - 14:40 (2 v.hod.) F1-109 Prednáška 1-INF-175 Spoločenské aspekty informatiky M. Winczer Ut 18:10 - 19:40 (2 v.hod.) Nezadaný typ písomky St 9:00 - 11:15 (3 v.hod.) F1-328 Prednáška 1-INF-171 Operačné systémy D. Bernát Št 8:10 - 9:40 (2 v.hod.) F1-247 Cvičenie 1-INF-310 Tvorba efektívnych algoritmov (každý druhý týždeň) J. Rajník, A. Gafurov Št 9:50 - 12:05 (3 v.hod.) B Prednáška 1-INF-310 Tvorba efektívnych algoritmov M. Anderle Št 13:10 - 15:25 (3 v.hod.) F1-109 Kurz 1-INF-210 Úvod do matematickej logiky R. Lukoťka, J. Mazák Št 15:40 - 17:10 (2 v.hod.) F1-328 Cvičenie 1-INF-171 Operačné systémy (raz za 2 týždne) D. Bernát Št 15:40 - 17:10 (2 v.hod.) F1-328 Cvičenie 1-INF-310 Tvorba efektívnych algoritmov (raz za 2 týždne) J. Rajník Pi 8:10 - 9:40 (2 v.hod.) A Prednáška 1-INF-283 Počítačové siete (1) J. Janáček 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) J. Janáček, D. Bernát Pi 11:30 - 13:00 (2 v.hod.) I-H3 Cvičenie 1-INF-283 Počítačové siete (1) (raz za dva týždne) J. Janáček, D. Bernát Pi 13:10 - 16:10 (4 v.hod.) M-217 Cvičenie 1-INF-825 Rýchlostné programovanie (4) .KIUcitel1