SW wykład 1 - Slajd13

<<powrót do strony wykładu

Wstęp Literatura Programy Programy, sprzeczne oczekiwania WielkiCel Składnia Semantyka Pragmatyka Logika Metodyka Implementacja Formalna semantyka Przykład Przykład, c.d. Przykład, reguła dowodzenia Uzasadnianie poprawności Plan zajęć

Oto przykład prościutkiego programu. Powyżej zapisany w języku Pascal (dokładniej: jest to fragment programu w Pascalu), poniżej w notacji (mamy nadzieję) nieco bardziej przejrzystej i łatwiejszej do czytania, używanej na slajdach w tych materiałach.

Pewno łatwo zgadniecie Państwo, co ten program oblicza.