Cvičenie M-IX Diskrétna matematika (2) Ut 8:10 9:40 J. Komara Cvičenie M-IX Diskrétna matematika (2) Ut 9:50 11:20 J. Komara Prednáška M-IX Špecifikácia a verifikácia programov Št 14:00 15:30 J. Komara Cvičenie M-IX Špecifikácia a verifikácia programov Št 15:40 17:10 J. Komara