Po 9:00 - 11:15 (3 v.hod.) M-IV Prednáška Úvod do teórie programovania I. Prívara
Št 13:10 - 16:10 (4 v.hod.) M-VI Prednáška Formálne špecifikácie I. Prívara