SW wykład 1 - Slajd13: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| (Nie pokazano 1 wersji utworzonej przez jednego użytkownika) | |||
| Linia 1: | Linia 1: | ||
{{Semantyka i weryfikacja programów/Wykład 1}} | |||
[[Grafika:sw0112.png|frame|center|]] | [[Grafika:sw0112.png|frame|center|]] | ||
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. | |||
Aktualna wersja na dzień 11:08, 17 sie 2006
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.
