Dane:
liczba naturalna \(\displaystyle{ n}\)
Wynik:
\(\displaystyle{ S=1+\ldots+n}\)
Kod: Zaznacz cały
begin
s=0; i=0;
while (i<n)
do
{
i++;
s=s+i;
}
end[Algorytmy] niezmienniki pętli, udowodnij poprawność
-
samiecalfa1995
- Użytkownik
- Posty: 7
- Rejestracja: 22 sty 2017, o 16:53
- Płeć: Mężczyzna
- Lokalizacja: Rzeszów
- Podziękował: 2 razy
[Algorytmy] niezmienniki pętli, udowodnij poprawność
Udowodnij poprawność przy użyciu metody niezmienników:
Dane:
liczba naturalna \(\displaystyle{ n}\)
Wynik:
\(\displaystyle{ S=1+\ldots+n}\)
Dane:
liczba naturalna \(\displaystyle{ n}\)
Wynik:
\(\displaystyle{ S=1+\ldots+n}\)
Ostatnio zmieniony 27 sty 2017, o 14:45 przez Afish, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.
Powód: Poprawa wiadomości.
