SW wykład 2 - Slajd14: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
{{Szablon:Semantyka i weryfikacja programów/Wykład 2}} | {{Szablon:Semantyka i weryfikacja programów/Wykład 2}} | ||
[[Grafika:sw0213.png|frame|center|]] | [[Grafika:sw0213.png|frame|center|]] | ||
Zakładając zrozumienie poprzedniej definicji semantyki dla wyrażeń | |||
arytmetycznych, semantyka wyrażeń logicznych nie wymaga już dalszych | |||
komentarzy --- jej struktura jest podobna. | |||
Zwróćmy tylko uwagę na wykorzystanie tutaj semantyki wyrażeń | |||
arytmetycznych (gdy są one bezpośrednimi składowymi wyrażenia | |||
logicznego, jak w przypadku nierówności), na wykorzystanie (w tym | |||
samym przypadku) semantycznej relacji porządku na liczbach całkowitych | |||
i na wykorzystanie oczywistej notacji dla warunkowych definicji | |||
wartości. | |||
Aktualna wersja na dzień 11:04, 22 sie 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
Zakładając zrozumienie poprzedniej definicji semantyki dla wyrażeń arytmetycznych, semantyka wyrażeń logicznych nie wymaga już dalszych komentarzy --- jej struktura jest podobna.
Zwróćmy tylko uwagę na wykorzystanie tutaj semantyki wyrażeń arytmetycznych (gdy są one bezpośrednimi składowymi wyrażenia logicznego, jak w przypadku nierówności), na wykorzystanie (w tym samym przypadku) semantycznej relacji porządku na liczbach całkowitych i na wykorzystanie oczywistej notacji dla warunkowych definicji wartości.
