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.
Jajko z dzwonkiem

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.

Dodaj komentarz

8 + 7 =