loop invariant: niezmiennik pętli
W dowodzeniu poprawności algorytmów jest to zdanie, które po każdej iteracji pętli jest prawdziwe.

Podoba Ci się ta strona?
Pomóż nam się rozwijać, wykupując płatne konto. Dzięki temu będziemy mogli tworzyć dla Ciebie jeszcze więcej ciekawych treści, a Ty pozbędziesz się reklam.