Verze z 22. 4. 2010, 15:18 editovat Puchly jozef (diskuse \| příspěvky) 12 editací Bez shrnutí editace ← Přejít na předchozí porovnání		Verze z 22. 4. 2010, 15:22 editovat zrušit editaci Puchly jozef (diskuse \| příspěvky) 12 editací Bez shrnutí editace Přejít na další porovnání →
Řádek 3: == Definice == '''Invariant cyklu''' je mezilehlá podmínka v [[algoritmu]], která je v daném bodě výpočtu splněna v každém průchodu cyklem. Invariant cyklu se používá abychom pochopili proč je algoritmus korektní.O invariantu cyklu musíme říct tři věci:

Invariant (informatika): Porovnání verzí