Оглавление:
Определение - что означает инвариант?
Инвариант - это значение или условие, которое, как ожидается, будет согласованным во время выполнения процесса. Инварианты полезны при тестировании результатов алгоритмов и целостности компьютерных программ. Их предсказуемость может упростить процесс оценки достоверности логических утверждений, а инварианты можно рассматривать как ориентиры в окружающем контексте.
Техопедия объясняет инвариант
Говорят, что самые ранние опубликованные наблюдения инвариантных явлений существуют в широко влиятельном тексте Карла Фридриха Гаусса в конце восемнадцатого века по теории чисел «Disquititiones Arithmeticae». Однако нововведение полностью сформированной теории инвариантов часто аккредитовано Джорджем Булем, который писал об этом для Кембриджского математического журнала в начале 1840-х годов. Другие известные исследователи, которые расширили эту тему, включают Отто Гессе и Артура Кейли (оба из них - европейские математики из девятнадцатого века).
