Po 8:10 - 9:40 (2 v.hod.) B Prednáška 1-AIN-172 Programovanie (4) P. Borovanský Po 9:50 - 11:20 (2 v.hod.) B Kurz 1-AIN-412 Logika pre informatikov J. Mazák Po 11:30 - 13:00 (2 v.hod.) B Prednáška 1-AIN-211 Úvod do teoretickej informatiky M. Winczer Po 14:00 - 15:30 (2 v.hod.) I-23 Seminár Akademické podporné centrum T. Jajcayová, A. Mihálik Po 16:30 - 18:45 (3 v.hod.) I-H6 Kurz 1-AIN-180 Princípy počítačov - operačné systémy J. Šiška, P. Petrovič Ut 8:10 - 12:40 (6 v.hod.) Cvičenie 1-MXX-220 Telesná výchova a šport (4) KTVŠ Ut 13:10 - 14:40 (2 v.hod.) I-H6 Cvičenie 1-AIN-412 Logika pre informatikov J. Pukancová, I. Bečková, J. Boborová, J. Kľuka Ut 14:50 - 16:20 (2 v.hod.) M-X Cvičenie 1-AIN-211 Úvod do teoretickej informatiky M. Winczer Ut 18:10 - 19:40 (2 v.hod.) Nezadaný typ písomky St 8:10 - 9:40 (2 v.hod.) I-H6 Labák 1-AIN-412 Logika pre informatikov J. Kľuka St 9:50 - 10:35 (1 v.hod.) I-23 Nezadaný typ 1-AIN-412 Logika pre informatikov (konzultácia) I. Bečková, J. Kľuka St 13:10 - 14:40 (2 v.hod.) I-H3 Cvičenie 1-AIN-172 Programovanie (4) A. Šimko St 15:40 - 17:55 (3 v.hod.) F1 Seminár 2-IKVa-192 Science, Technology and Humanity: Opportunities and Risks M. Takáč, T. Gál Št 9:00 - 9:45 (1 v.hod.) I-23 Nezadaný typ 1-AIN-412 Logika pre informatikov (konzultácia) I. Bečková, J. Kľuka Št 9:50 - 11:20 (2 v.hod.) A Seminár 1-AIN-232 Ročníkový projekt a úvod do bakalárskej práce F. Dráček, F. Jafari, Z. Berger Haladová Št 11:30 - 13:00 (2 v.hod.) C Seminár 1-AIN-317 Internet, AI & spoločnosť F. Gyárfáš Št 13:10 - 14:40 (2 v.hod.) M-XI Prednáška 1-AIN-470 Špecifikácia a verifikácia programov J. Komara Št 14:50 - 16:20 (2 v.hod.) M-XI Cvičenie 1-AIN-470 Špecifikácia a verifikácia programov J. Komara Št 16:30 - 18:45 (3 v.hod.) M-XII Kurz 1-AIN-316 Digitálne technológie výroby J. Vaško Št 16:30 - 18:00 (2 v.hod.) F1-109 Prednáška 1-AIN-406 Kognitívne vedy: jazyk a kognícia J. Rybár Št 19:00 - 19:45 (1 v.hod.) FT-LAB Kurz 1-AIN-427 Aplikovaný robotický seminár (2) P. Petrovič