St 11:30 - 13:00 (2 v.hod.) M-II Seminár 1-INF-920 Bakalársky seminár (2) R. Lukoťka, D. Pardubská, B. Brejová, T. Plachetka Št 13:10 - 14:40 (2 v.hod.) M-X Cvičenie 1-INF-210 Úvod do matematickej logiky R. Lukoťka Št 16:30 - 18:00 (2 v.hod.) I-H6 Cvičenie 1-INF-210 Úvod do matematickej logiky R. Lukoťka