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

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
WizualnieWikikod
Mengel (dyskusja | edycje)
1013 edycji
Nie podano opisu zmian
 
mNie podano opisu zmian
 
(Nie pokazano 2 wersji utworzonych przez jednego użytkownika)
Linia 1: Linia 1:
{{Slajdy|txt=<slides>
 
name=SW wykład 12
fontsize=120%
menuItemsNumber=23
showButtons=true
hideMenu=false
Slajd1
Slajd2
Slajd3
Slajd4
Slajd5
Slajd6
Slajd7
Slajd8
Slajd9
Slajd10
Slajd11
Slajd12
Slajd13
Slajd14
Slajd15
Slajd16
Slajd17
Slajd18
Slajd19
Slajd20
Slajd21
Slajd22
Slajd23
Contact
</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”