Ut	9:50 - 11:20	 (2 v.hod.) 	M-213	Prednáška	2-INF-222	Objektová analýza a modelovanie	R. Lukoťka
St	11:30 - 13:00	 (2 v.hod.) 	M-IV	Cvičenie	1-INF-210	Úvod do matematickej logiky	R. Lukoťka
St	14:00 - 15:30	 (2 v.hod.) 	M-VIII	Prednáška	2-INF-222	Objektová analýza a modelovanie	R. Lukoťka
Št	8:10 - 9:40	 (2 v.hod.) 	M-IV	Cvičenie	1-INF-210	Úvod do matematickej logiky	R. Lukoťka