Інваріант

Матеріал з Вікіпедії — вільної енциклопедії.

Інваріа́нт - термін, що використовується в математиці та фізіці, а також в програмуванні, означає щось незмінне.

[ред.] Інваріанти в програмуванні

Інваріантом називають логічний вираз, що є істинним після кожного проходу тіла циклу (після виконання фіксованого оператору) і перед початком виконання циклу, який залежить від змінних, які в свою чергу змінюються в тілі циклу. Інваріанти використовуються в теоріїї верификації програм для доказу правильності виконання циклу. Також інваріанти використовують при проектуванні циклічних алгоритмів.

[ред.] Посилання


Зображення:wiki_letter_w.png Цю сторінку необхідно дописати чи вдосконалити.
Саме Ви можете допомогти проекту, зробивши це!
Цей шаблон також треба замінити на конкретніший
Іншими мовами