Obsah:
Definice - Co znamená Invariant?
Invariant je hodnota nebo stav, u kterého se očekává, že bude konzistentní během provádění procesu. Invarianty jsou užitečné při testování výsledků algoritmů a integrity počítačových programů. Jejich předvídatelnost může zjednodušit proces posuzování platnosti logických tvrzení a invarianty lze považovat za referenční body v okolním kontextu.
Techopedia vysvětluje Invariant
Nejdříve publikovaná pozorování invariantních jevů se uvádí v široce vlivném textu Carla Friedricha Gaussa na teorii čísel „Disquititiones Arithmeticae“. Inovace plně formované invariantní teorie je však často připisována George Booleovi, který napsal o tom pro Cambridge Mathematical Journal na začátku 40. let 20. století. Dalšími významnými vědci, kteří se rozšířili o toto téma, jsou Otto Hesse a Arthur Cayley (oba jsou evropskými matematiky z 19. století).
