loop invariant: niezmiennik pętli

22 listopada 2012
1 gwiadka2 gwiazdki3 gwiazdki4 gwiazdki5 gwiazdek
W dowodzeniu poprawności algorytmów jest to zdanie, które po każdej iteracji pętli jest prawdziwe.

Dyskusja

Twój adres e-mail nie zostanie opublikowany.