SW wykład 1 - Slajd13

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

<<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ęć

Sw0112.png

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.