Po 9:00 - 11:15 (3 v.hod.) M-VII Prednáška Úvod do teórie programovania I. Prívara
Št 9:50 - 12:50 (4 v.hod.) F1-247 Prednáška Formálne špecifikácie I. Prívara