Spisu treści:
Definicja - Co oznacza niezmiennik?
Niezmiennik to wartość lub warunek, który powinien być spójny podczas wykonywania procesu. Niezmienniki są przydatne w testowaniu wyników algorytmów i integralności programów komputerowych. Ich przewidywalność może uprościć proces oceny ważności logicznych twierdzeń, a niezmienniki mogą być postrzegane jako punkty odniesienia w otaczającym kontekście.
Techopedia wyjaśnia Invariant
Mówi się, że najwcześniej opublikowane obserwacje niezmiennych zjawisk istniały w bardzo wpływowym tekście Carla Friedricha Gaussa z XVIII wieku na temat teorii liczb „Disquititiones Arithmeticae”. Jednak innowacja w pełni ukształtowanej teorii niezmienników jest często akredytowana przez George'a Boole'a, który napisał o tym dla Cambridge Mathematical Journal na początku lat 40. XIX wieku. Inni wybitni badacze, którzy rozwinęli się na ten temat, to Otto Hesse i Arthur Cayley (obaj są matematykami europejskimi z XIX wieku).
