Po 9:50 - 11:20 (2 v.hod.) B Prednáška 1-AIN-412 Logika pre informatikov J. Mazák, J. Kľuka Po 9:50 - 11:20 (2 v.hod.) B Prednáška 1-INF-210 Úvod do matematickej logiky J. Mazák, J. Kľuka Po 16:30 - 18:00 (2 v.hod.) M-213 Cvičenie 1-INF-171 Operačné systémy (konzultačne) J. Mazák Ut 8:10 - 9:40 (2 v.hod.) M-X Prednáška 2-INF-114 Matematická logika R. Lukoťka, J. Mazák Ut 14:50 - 16:20 (2 v.hod.) M-VI Kurz 1-INF-210 Úvod do matematickej logiky R. Lukoťka, J. Mazák Ut 17:20 - 18:50 (2 v.hod.) M-VII Cvičenie 1-INF-616 Matematická propedeutika (2) J. Mazák