Szablon:Semantyka i weryfikacja programów/Wykład 12: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
← poprzednia edycja
WizualnieWikikod
Mengel (dyskusja | edycje)
1013 edycji
Nie podano opisu zmian
mNie podano opisu zmian
 
Linia 1: Linia 1:
{{Slajdy|txt=<slides>
 
name=SW wykład 12
fontsize=120%
menuItemsNumber=24
showButtons=true
hideMenu=false
Slajd1|Zadanie programistyczne
Slajd2|Przykład
Slajd3|Problemy z logiką Hoare'a
Slajd4|Poprawność całkowita
Slajd5|Poprawność całkowita, c.d.
Slajd6|Poprawność całkowita, c.d.
Slajd7|Reguła dla pętli
Slajd8|Poprawność systemu dowodzenia dla Tiny
Slajd9|Pełność systemu dowodzenia dla Tiny
Slajd10|Przykład
Slajd11|Uogólnienie
Slajd12|Poprawność i pełność
Slajd13|Relacje dobrze ufundowane
Slajd14|Dowodzenie poprawności całkowitej
Slajd15|Przykład
Slajd16|Przykład
Slajd17|Kolejny problem
Slajd18|Binarne warunki końcowe
Slajd19|Warunki poprawności
Slajd20|Reguły dowodzenia
Slajd21|Reguły dowodzenia, c.d.
Slajd22|Przykład
Slajd23|Logika algorytmiczna
Slajd24|System dowodzenia
</slides>}}
<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
<font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
[[SW_wykład_12_-_Slajd1|Zadanie programistyczne]]
[[SW_wykład_12_-_Slajd2|Przykład]]
[[SW_wykład_12_-_Slajd3|Problemy z logiką Hoare'a]]
[[SW_wykład_12_-_Slajd4|Poprawność całkowita]]
[[SW_wykład_12_-_Slajd5|Poprawność całkowita, c.d.]]
[[SW_wykład_12_-_Slajd6|Poprawność całkowita, c.d.]]
[[SW_wykład_12_-_Slajd7|Reguła dla pętli]]
[[SW_wykład_12_-_Slajd8|Poprawność systemu dowodzenia dla Tiny]]
[[SW_wykład_12_-_Slajd9|Pełność systemu dowodzenia dla Tiny]]
[[SW_wykład_12_-_Slajd10|Przykład]]
[[SW_wykład_12_-_Slajd11|Uogólnienie]]
[[SW_wykład_12_-_Slajd12|Poprawność i pełność]]
[[SW_wykład_12_-_Slajd13|Relacje dobrze ufundowane]]
[[SW_wykład_12_-_Slajd14|Dowodzenie poprawności całkowitej]]
[[SW_wykład_12_-_Slajd15|Przykład]]
[[SW_wykład_12_-_Slajd16|Przykład]]
[[SW_wykład_12_-_Slajd17|Kolejny problem]]
[[SW_wykład_12_-_Slajd18|Binarne warunki końcowe]]
[[SW_wykład_12_-_Slajd19|Warunki poprawności]]
[[SW_wykład_12_-_Slajd20|Reguły dowodzenia]]
[[SW_wykład_12_-_Slajd21|Reguły dowodzenia, c.d.]]
[[SW_wykład_12_-_Slajd22|Przykład]]
[[SW_wykład_12_-_Slajd23|Logika algorytmiczna]]
[[SW_wykład_12_-_Slajd24|System dowodzenia]]

Aktualna wersja na dzień 15:40, 29 wrz 2020

<<powrót do strony wykładu

Zadanie programistyczne Przykład Problemy z logiką Hoare'a Poprawność całkowita Poprawność całkowita, c.d. Poprawność całkowita, c.d. Reguła dla pętli Poprawność systemu dowodzenia dla Tiny Pełność systemu dowodzenia dla Tiny Przykład Uogólnienie Poprawność i pełność Relacje dobrze ufundowane Dowodzenie poprawności całkowitej Przykład Przykład Kolejny problem Binarne warunki końcowe Warunki poprawności Reguły dowodzenia Reguły dowodzenia, c.d. Przykład Logika algorytmiczna System dowodzenia

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Szablon:Semantyka_i_weryfikacja_programów/Wykład_12&oldid=77964”