loop invariant: niezmiennik pętli

> Dodaj do ulubionych
W dowodzeniu poprawności algorytmów jest to zdanie, które po każdej iteracji pętli jest prawdziwe.

Dodaj komentarz

18 + dwadzieścia =