Po	9:00 - 11:15	 (3 v.hod.) 	M-213	Prednáška	2-INF-123	Formálna sémantika a teória správnosti	I. Prívara