SW wykład 13 - Slajd16: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 2: | Linia 2: | ||
[[Grafika:sw1315.png|frame|center|]] | [[Grafika:sw1315.png|frame|center|]] | ||
Tym razem dodatkowo musimy jeszcze zadbać o spełnienie wymagania, że | |||
instrukcja ciała pętli ma zmniejszać wartość wyrażenia | |||
<math>n-rt</math>. | |||
Dla dwóch jego składowych, wymagać będziemy, by żadna z nich nie | |||
zwiększała wartości tego wyrażenia, a przynajmniej jedna z nich tę | |||
wartość zmniejszała. | |||
Aktualna wersja na dzień 19:15, 17 paź 2006
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ę
Tym razem dodatkowo musimy jeszcze zadbać o spełnienie wymagania, że instrukcja ciała pętli ma zmniejszać wartość wyrażenia .
Dla dwóch jego składowych, wymagać będziemy, by żadna z nich nie zwiększała wartości tego wyrażenia, a przynajmniej jedna z nich tę wartość zmniejszała.
