[Algorytmy] Udowodnij przy pomocy niezmienników

shadox
Użytkownik
Użytkownik
Posty: 21
Rejestracja: 25 sty 2017, o 19:05
Płeć: Mężczyzna
Lokalizacja: Piwoda

[Algorytmy] Udowodnij przy pomocy niezmienników

Post autor: shadox »

5. udowodnic poprawnosc algorytmu przy pomocy metody niezmiennikow

Kod: Zaznacz cały

wynik=1+2+3+4....+n
begin
s!=0, i=0
while i<n do
{i=i+1;s=s+i}
end
-- 26 sty 2017, o 20:02 --

ktokolwiek pomoze?
Ostatnio zmieniony 27 sty 2017, o 21:33 przez Afish, łącznie zmieniany 3 razy.
Powód: Poprawa wiadomości. Temat umieszczony w złym dziale.
bartek118
Użytkownik
Użytkownik
Posty: 5974
Rejestracja: 28 lut 2010, o 19:45
Płeć: Mężczyzna
Lokalizacja: Toruń
Podziękował: 15 razy
Pomógł: 1251 razy

[Algorytmy] Udowodnij przy pomocy niezmienników

Post autor: bartek118 »

Podpowiem, że niezmiennikiem jest zdanie logiczne
\(\displaystyle{ N = \left[ i \leq n \wedge s = 0 + 1 + 2 + 3 + \ldots + i \right]}\)
shadox
Użytkownik
Użytkownik
Posty: 21
Rejestracja: 25 sty 2017, o 19:05
Płeć: Mężczyzna
Lokalizacja: Piwoda

[Algorytmy] Udowodnij przy pomocy niezmienników

Post autor: shadox »

tyle to ja wlasnie tez wiem tylko nie wiem jak to rozpisac, baaardzo prosilbym zebys mi powiedzial jak sie udziela odpowiedzi na takie zadania
ODPOWIEDZ