Інваріант
Матеріал з Вікіпедії — вільної енциклопедії.
Інваріа́нт - термін, що використовується в математиці та фізіці, а також в програмуванні, означає щось незмінне.
Зміст |
[ред.] Інваріанти в програмуванні
Інваріантом називають логічний вираз, що є істинним після кожного проходу тіла циклу (після виконання фіксованого оператору) і перед початком виконання циклу, який залежить від змінних, які в свою чергу змінюються в тілі циклу. Інваріанти використовуються в теоріїї верификації програм для доказу правильності виконання циклу. Також інваріанти використовують при проектуванні циклічних алгоритмів.
[ред.] Розрізняють
ІНВАРІАНТ ОПТИЧНИЙ, (рос. инвариант оптический, англ. optical invariant) — у маркшейдерії, геодезії тощо – рівність добутків n1sni1 і, n2sni2, у якому n1 і n2 — показники заломлення двох суміжних середовищ (наприклад, скла і повітря), i1 і i2 — кути заломлення променів світла в цих середовищах.
IНВАРIАНТ ПОДІБНОСТI, (рос. инвариант подобия; англ. similarity invariant, нім. Ähnlichkeitsinvariante f, Ähnlichkeitssimplex n) – симплекс подiбностi.
[ред.] Література
- Мала гірнича енциклопедія: В 3-х т. / За ред. В. С. Білецького. — Донецьк: Донбас, 2004. ISBN 966-7804-14-3
[ред.] Посилання
![]() |
Цю сторінку необхідно дописати чи вдосконалити. Саме Ви можете допомогти проекту, зробивши це! |