Niezmiennik pętli
Sign in to saveinvariants used to prove properties of loops
Wikidata facts
- Subclass of
- invariant
- Part of
- program loop
Show 1 more fact
- invariant under
- iteration
Sources (1)
via Wikidata · CC0
Article · Polski
Niezmiennik pętli – pojęcie używane w projektowaniu, analizie i dowodzeniu poprawności algorytmów. Mówimy, że zdanie P jest niezmiennikiem pętli, jeżeli po każdym jej przebiegu jest ono prawdziwe. W praktyce niezmiennik pętli traktowany jest jako założenie indukcyjne, na podstawie którego wykazuje się prawdziwość kroku indukcyjnego.
Abstract from DBpedia / Wikipedia · CC BY-SA