Po 8:10 - 9:40 (2 v.hod.) F1-247 Prednáška 2-INF-182 Algebra (3) M. Sleziak Po 9:50 - 11:20 (2 v.hod.) B Prednáška 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 14:50 - 16:20 (2 v.hod.) M-IV Cvičenie 2-INF-186 Formálne jazyky a automaty (2) Š. Sádovský Po 18:10 - 19:40 (2 v.hod.) M-217 Cvičenie 1-INF-265 Ročníkový projekt (2) T. Plachetka Ut 8:10 - 12:40 (6 v.hod.) FTVS Výber/Vol 1-MXX-220 Telesná výchova a šport (4) FTVŠ Ut 9:50 - 11:20 (2 v.hod.) M-XII Výber/Vol 2-INF-156 Vybrané partie z teórie jazykov B. Rovan Ut 12:20 - 14:35 (3 v.hod.) F1-328 Prednáška 1-INF-310 Tvorba efektívnych algoritmov M. Anderle Ut 14:50 - 16:20 (2 v.hod.) M-II Prednáška 1-INF-175 Spoločenské aspekty informatiky M. Winczer Ut 16:30 - 18:00 (2 v.hod.) M-IX Cvičenie 2-INF-182 Algebra (3) M. Sleziak St 9:50 - 11:20 (2 v.hod.) Prednáška 1-INF-283 Počítačové siete (1) (online) J. Janáček St 9:50 - 11:20 (2 v.hod.) M-213 Výber/Vol 2-INF-156 Vybrané partie z teórie jazykov B. Rovan St 11:30 - 13:00 (2 v.hod.) Cvičenie 1-INF-283 Počítačové siete (1) (online, každý druhý týždeň) J. Janáček Št 9:50 - 12:05 (3 v.hod.) M-V Prednáška 1-INF-171 Operačné systémy D. Bernát Št 13:10 - 14:40 (2 v.hod.) M-X Cvičenie 1-INF-210 Úvod do matematickej logiky R. Lukoťka Št 14:50 - 16:20 (2 v.hod.) M-VI Cvičenie 1-INF-310 Tvorba efektívnych algoritmov (každý druhý týždeň) A. Gafurov Št 16:30 - 18:00 (2 v.hod.) I-H6 Cvičenie 1-INF-210 Úvod do matematickej logiky R. Lukoťka Pi 13:10 - 16:10 (4 v.hod.) I-H3 Cvičenie 1-INF-825 Rýchlostné programovanie (4) V. Boža