SW wykład 2 - Slajd6: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| (Nie pokazano 2 wersji utworzonych przez jednego użytkownika) | |||
| Linia 1: | Linia 1: | ||
{{Szablon:Semantyka i weryfikacja programów/Wykład 2}} | {{Szablon:Semantyka i weryfikacja programów/Wykład 2}} | ||
[[Grafika:sw0205.png|frame|center|]] | [[Grafika:sw0205.png|frame|center|]] | ||
Stałe numeryczne i zmienne nie wymagają komentarza. | |||
Wyrażenia arytmetyczne obejmują stałe numeryczne i zmienne oraz sumy, | |||
iloczyny i różnice dwóch wyrażeń. Oczywiście, dostępne operacje | |||
arytmetyczne ograniczamy do tu podanych dla prostoty języka; tylko | |||
kolejne jedno- czy wieloargumentowe operacje można dodać bez większego | |||
kłopotu. | |||
Aktualna wersja na dzień 10:31, 27 wrz 2006
Składnia Składnia konkretna Składnia abstrakcyjna Przyjmowane założenia Przykład wiodący Kategorie składniowe Kategorie składniowe, c.d. Uwagi Indukcja strukturalna Definicje indukcyjne Kategorie semantyczne Wartościowanie zmiennych Semantyka wyrażeń Semantyka wyrażeń logicznych Semantyka instrukcji Prosty fakt Dowód Przezroczystość odwołań Semantyka operacyjna Obliczenia Semantyka operacyjna Tiny Własności Własności, c.d. Warianty definicji
Stałe numeryczne i zmienne nie wymagają komentarza.
Wyrażenia arytmetyczne obejmują stałe numeryczne i zmienne oraz sumy, iloczyny i różnice dwóch wyrażeń. Oczywiście, dostępne operacje arytmetyczne ograniczamy do tu podanych dla prostoty języka; tylko kolejne jedno- czy wieloargumentowe operacje można dodać bez większego kłopotu.
