Invariant (informatika): Porovnání verzí

Smazaný obsah Přidaný obsah
Addbot (diskuse | příspěvky)
m Bot: Odstranění 8 odkazů interwiki, které jsou nyní dostupné na Wikidatech (d:q385374)
definice obecného invariantu jako překlad definice z anglické wikipedie
Řádek 1:
'''Invariant cyklu''' je mezilehlá podmínka v [[algoritmus|algoritmu]], která jemusí vbýt danémsplněna boděpo výpočtucelou splněnadobu vběhu každém průchodu [[cyklus|cyklem]]programu.
 
'''Invariant cyklu''' je mezilehlá podmínka v [[algoritmus|algoritmu]], která musí být splněna před vykonáním a po vykonání každého průchodu [[cyklus|cyklem]].
 
== Definice ==