Ut 14:00 - 17:00 (4 v.hod.) M-V Prednáška Formálne špecifikácie I. Prívara
Št 14:50 - 17:05 (3 v.hod.) M-III Prednáška Úvod do teórie programovania I. Prívara