Інваріант
Матеріал з Вікіпедії — вільної енциклопедії.
Інваріа́нт - термін, що використовується в математиці та фізіці, а також в програмуванні, означає щось незмінне.
[ред.] Інваріанти в програмуванні
Інваріантом називають логічний вираз, що є істинним після кожного проходу тіла циклу (після виконання фіксованого оператору) і перед початком виконання циклу, який залежить від змінних, які в свою чергу змінюються в тілі циклу. Інваріанти використовуються в теоріїї верификації програм для доказу правильності виконання циклу. Також інваріанти використовують при проектуванні циклічних алгоритмів.
[ред.] Посилання
| Цю сторінку необхідно дописати чи вдосконалити. Саме Ви можете допомогти проекту, зробивши це! Цей шаблон також треба замінити на конкретніший |

