SW wykład 2 - Slajd7: 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:sw0206.png|frame|center|]] | [[Grafika:sw0206.png|frame|center|]] | ||
Wyrażenia logiczne obejmują zwykłe stałe logiczne (prawda, fałsz), | Wyrażenia logiczne obejmują zwykłe stałe logiczne (prawda, fałsz), | ||
nierówności między wyrażeniami arytmetycznymi, negacje wyrażeń | nierówności między wyrażeniami arytmetycznymi, negacje wyrażeń | ||
logicznych i ich koniunkcje. | logicznych i ich koniunkcje. Znowu, dalsze spójniki logiczne można tu | ||
dodać bez problemu (lub definiować je w programach poprzez negacje i | dodać bez problemu (lub definiować je w programach poprzez negacje i | ||
koniunkcje). | koniunkcje). | ||
W końcu, instrukcje (stanowiące główną kategorię składniową) obejmują | W końcu, instrukcje (stanowiące główną kategorię składniową) obejmują | ||
instrukcje przypisania, złożenie sekwencyjne instrukcji, instrukcje | instrukcje przypisania, instrukcję pustą, złożenie sekwencyjne | ||
warunkowe i pętle. | instrukcji, instrukcje warunkowe i pętle. | ||
Aktualna wersja na dzień 10:32, 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
Wyrażenia logiczne obejmują zwykłe stałe logiczne (prawda, fałsz), nierówności między wyrażeniami arytmetycznymi, negacje wyrażeń logicznych i ich koniunkcje. Znowu, dalsze spójniki logiczne można tu dodać bez problemu (lub definiować je w programach poprzez negacje i koniunkcje).
W końcu, instrukcje (stanowiące główną kategorię składniową) obejmują instrukcje przypisania, instrukcję pustą, złożenie sekwencyjne instrukcji, instrukcje warunkowe i pętle.
