Ut 13:10 - 14:40 (2 v.hod.) I-H6 Cvičenie 1-AIN-412 Logika pre informatikov M. Homola, J. Boborová, J. Pastorek, J. Kľuka St 9:50 - 11:20 (2 v.hod.) I-23 Seminár Combinatorial Algebra D. Mihálová, T. Jajcayová, Z. Adams, P. Kollár, J. Pastorek