Ut 13:10 - 14:40 (2 v.hod.) I-9 Prednáška Úvod do matematickej logiky pre programátorov J. Komara Ut 13:10 - 14:40 (2 v.hod.) I-9 Prednáška Logika pre informatikov J. Komara Ut 14:50 - 16:20 (2 v.hod.) F1-248 Výber/Vol Úvod do matematickej logiky pre programátorov J. Komara Ut 14:50 - 16:20 (2 v.hod.) F1-248 Výber/Vol Logika pre informatikov J. Komara Pi 9:50 - 11:20 (2 v.hod.) M-I Cvičenie Diskrétna matematika (1) V. Dillinger, J. Komara Pi 11:30 - 13:00 (2 v.hod.) M-I Cvičenie Diskrétna matematika (1) J. Komara