Szablon:Semantyka i weryfikacja programów/Wykład 2