Po	9:50 - 11:20	 (2 v.hod.) 	B	Kurz	1-INF-210	Úvod do matematickej logiky	J. Mazák
Po	9:50 - 11:20	 (2 v.hod.) 	B	Kurz	1-AIN-412	Logika pre informatikov	J. Mazák
St	13:10 - 16:10	 (4 v.hod.) 	M-VII	Kurz	2-INF-420	Kombinatorická analýza (1)	M. Stanek, J. Mazák
St	16:30 - 18:00	 (2 v.hod.) 	F2	Cvičenie	1-INF-616	Matematická propedeutika (2)	J. Mazák
St	18:10 - 19:40	 (2 v.hod.) 	M-213	Cvičenie	1-INF-171	Operačné systémy	(konzultačne) J. Mazák
Št	12:20 - 13:50	 (2 v.hod.) 	M-V	Prednáška	2-INF-133	Pravdepodobnostné metódy	R. Lukoťka, J. Mazák