Matematyka.pl • [Algorytmy] Dowód poprawności algorytmu.

Strona 1 z 1

[Algorytmy] Dowód poprawności algorytmu.

: 22 cze 2014, o 17:44

autor: peterek

Jak dowieść poprawność poniższego algorytmu metodą niezmienników?
Z góry dziękuję za pomoc.

Kod: Zaznacz cały

i = 1;
s = 1;

while(i<=n)
{
    s = s * i;
    i++;
}

[Algorytmy] Dowód poprawności algorytmu.

: 22 cze 2014, o 19:14

autor: jarzabek89

Żeby cokolwiek udowadniać trzeba wiedzieć co dany algorytm ma robić, a tutaj tego nie ma.