Po 9:00 - 10:30 (2 v.hod.) Prednáška 1-MAT-480 Teória množín a matematická logika (2) P. Zlatoš Ut 9:50 - 12:05 (3 v.hod.) Prednáška 1-FYZ-160 Algebra a geometria (2) P. Zlatoš Št 15:40 - 17:10 (2 v.hod.) Prednáška 2-IKVa-267 Mathematical Logic for Cognitive Science P. Zlatoš Št 15:40 - 17:10 (2 v.hod.) Prednáška 3-MVM-044 Vybrané kapitoly z logiky P. Zlatoš Št 17:20 - 18:05 (1 v.hod.) Cvičenie 2-IKVa-267 Mathematical Logic for Cognitive Science P. Zlatoš