St 11:30 - 13:00 (2 v.hod.) C Seminár 1-INF-920 Bakalársky seminár (2) R. Lukoťka, D. Pardubská, T. Plachetka St 11:30 - 13:00 (2 v.hod.) C Seminár 1-BIN-922 Bakalársky seminár (2) R. Lukoťka, D. Pardubská, T. Plachetka Št 16:30 - 18:00 (2 v.hod.) C Cvičenie 1-INF-210 Úvod do matematickej logiky R. Lukoťka, J. Mazák Št 18:10 - 19:40 (2 v.hod.) I-H6 Cvičenie 1-INF-210 Úvod do matematickej logiky R. Lukoťka, J. Šiška, J. Mazák