Sisällysluettelo:
Määritelmä - mitä Invariant tarkoittaa?
Invariantti on arvo tai tila, jonka odotetaan olevan yhdenmukainen prosessin suorittamisen aikana. Invariantit ovat hyödyllisiä testattaessa algoritmien tuloksia ja tietokoneohjelmien eheyttä. Niiden ennakoitavuus voi yksinkertaistaa loogisten väitteiden paikkansapitävyyden arviointiprosessia, ja invarianteja voidaan pitää vertailupisteinä ympäröivässä yhteydessä.
Techopedia selittää Invariantin
Varhaisimpien muuttumattomien ilmiöiden havaintojen sanotaan olevan Carl Friedrich Gaussin 1800-luvun lopulla laajasti vaikuttavassa tekstitekstissä ”Disquititiones Arithmeticae”. Täysin muodostuneen invarianttiteorian innovaatio on kuitenkin usein akkreditoitu George Boolelle, joka kirjoitti siitä Cambridge Mathematical Journalille 1840-luvun alkupuolella. Muita merkittäviä tutkijoita, jotka ovat laajentaneet aihetta, ovat Otto Hesse ja Arthur Cayley (molemmat ovat eurooppalaisia matemaatikoita 1800-luvulta).
