Szablon:Semantyka i weryfikacja programów/Wykład 13: 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 13
fontsize=120%
menuItemsNumber=18
showButtons=true
hideMenu=false
Slajd1|Zadanie programistyczne
Slajd2|Pierwsze podejście
Slajd3|Przykład
Slajd4|Weryfikacja
Slajd5|Przykład
Slajd6|Możliwe przyczyny porażki
Slajd7|Poprawiony program
Slajd8|Przykład dowodu
Slajd9|Drugie podejście
Slajd10|Wyprowadzanie programu
Slajd11|Wyprowadzanie programu, c.d.
Slajd12|Wyprowadzanie programu, c.d.
Slajd13|Wyprowadzanie programu, c.d.
Slajd14|Wyprowadzanie programu, c.d.
Slajd15|Wyprowadzanie programu, c.d.
Slajd16|Własność stopu
Slajd17|Własność stopu, c.d.
Slajd18|Poprawność przez konstrukcję
</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_13_-_Slajd1|Zadanie programistyczne]]
[[SW_wykład_13_-_Slajd2|Pierwsze podejście]]
[[SW_wykład_13_-_Slajd3|Przykład]]
[[SW_wykład_13_-_Slajd4|Weryfikacja]]
[[SW_wykład_13_-_Slajd5|Przykład]]
[[SW_wykład_13_-_Slajd6|Możliwe przyczyny porażki]]
[[SW_wykład_13_-_Slajd7|Poprawiony program]]
[[SW_wykład_13_-_Slajd8|Przykład dowodu]]
[[SW_wykład_13_-_Slajd9|Drugie podejście]]
[[SW_wykład_13_-_Slajd10|Wyprowadzanie programu]]
[[SW_wykład_13_-_Slajd11|Wyprowadzanie programu, c.d.]]
[[SW_wykład_13_-_Slajd12|Wyprowadzanie programu, c.d.]]
[[SW_wykład_13_-_Slajd13|Wyprowadzanie programu, c.d.]]
[[SW_wykład_13_-_Slajd14|Wyprowadzanie programu, c.d.]]
[[SW_wykład_13_-_Slajd15|Wyprowadzanie programu, c.d.]]
[[SW_wykład_13_-_Slajd16|Własność stopu]]
[[SW_wykład_13_-_Slajd17|Własność stopu, c.d.]]
[[SW_wykład_13_-_Slajd18|Poprawność przez konstrukcję]]

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

<<powrót do strony wykładu

Zadanie programistyczne Pierwsze podejście Przykład Weryfikacja Przykład Możliwe przyczyny porażki Poprawiony program Przykład dowodu Drugie podejście Wyprowadzanie programu Wyprowadzanie programu, c.d. Wyprowadzanie programu, c.d. Wyprowadzanie programu, c.d. Wyprowadzanie programu, c.d. Wyprowadzanie programu, c.d. Własność stopu Własność stopu, c.d. Poprawność przez konstrukcję

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