SW wykład 3 - Slajd4

<<powrót do strony wykładu

Semantyka naturalna Semantyka naturalna Tiny Sens definicji Sens definicji, c.d. Dowody Indukcja po strukturze Własności Równoważność semantyczna Kongruencje Semantyka operacyjna a naturalna Semantyka operacyjna a naturalna, c.d. Semantyka operacyjna a naturalna, c.d. Semantyka "denotacyjna" Semantyka operacyjna a naturalna, c.d. Równoważność operacyjna Niedeterminizm Kilka równoważności Równoległość

Z drugiej strony, możemy dosłownie potraktować terminologię "aksjomat", "reguła", itd, i myśleć o prezentacji semantyki naturalnej jako o formalnym systemie dowodzenia stwierdzeń postaci "dana konfiguracja prowadzi do danego stanu". Wówczas przyjmiemy, że system ten definiuje relację przejścia miedzy konfiguracjami i odpowiadającymi im stanami końcowymi poprzez meta-warunek: dana konfiguracja prowadzi do danego stanu końcowego, jeśli odpowiadające temu faktowi stwierdzenie można udowodnić (wyprowadzić) w tym systemie dowodzenia.

Tu oczywiście dobre określenie tej relacji nie budzi wątpliwości, jeśli tylko wiemy, co to znaczy udowodnić stwierdzenie w danym systemie dowodzenia.