Ut	10:40 - 12:55	 (3 v.hod.) 	M-213	Prednáška	2-INF-123	Formálna sémantika a teória správnosti	I. Prívara