инвариант цикла
Sign in to saveв программировании — логическое выражение, истинное после каждого прохода тела цикла
Wikidata facts
- Subclass of
- invariant
- Part of
- program loop
Show 1 more fact
- invariant under
- iteration
Sources (1)
via Wikidata · CC0
Article · Русский
Инвариант цикла — в программировании — логическое выражение, истинное после каждого прохода тела цикла (после выполнения фиксированного оператора) и перед началом выполнения цикла, зависящее от переменных, изменяющихся в теле цикла. Инварианты используются в теории верификации программ для доказательства правильности результата, полученного циклическим алгоритмом.
Abstract from DBpedia / Wikipedia · CC BY-SA