Інваріант

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

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

Зміст

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

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

[ред.] Розрізняють

ІНВАРІАНТ ОПТИЧНИЙ, (рос. инвариант оптический, англ. optical invariant) — у маркшейдерії, геодезії тощо – рівність добутків n1sni1 і, n2sni2, у якому n1 і n2 — показники заломлення двох суміжних середовищ (наприклад, скла і повітря), i1 і i2 — кути заломлення променів світла в цих середовищах.

IНВАРIАНТ ПОДІБНОСТI, (рос. инвариант подобия; англ. similarity invariant, нім. Ähnlichkeitsinvariante f, Ähnlichkeitssimplex n) – симплекс подiбностi.

[ред.] Література


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


Цю сторінку необхідно дописати чи вдосконалити.
Саме Ви можете допомогти проекту, зробивши це!
Видається за доцільне, щоб цю статтю було об'єднано з Інваріант (програмування),
але, можливо, варто це додатково обговорити
Іншими мовами