Casa Programari Què és un invariant? - Definició de tecnologia

Què és un invariant? - Definició de tecnologia

Taula de continguts:

Anonim

Definició: què significa Invariant?

Un invariant és un valor o condició que s'espera que sigui coherent durant l'execució d'un procés. Els invariants són útils per provar els resultats d'algorismes i la integritat dels programes informàtics. La seva predicció pot simplificar el procés d'avaluació de la validesa de les afirmacions lògiques, i els invariants es poden veure com a punts de referència dins del context circumdant.

Techopedia explica Invariant

Les primeres observacions publicades sobre fenòmens invariants es diu que existeixen al text àmpliament influent de Carl Friedrich Gauss de finals del segle XVIII sobre la teoria dels números, "Disquititiones Arithmeticae". al respecte a la revista Cambridge Mathematical Journal dels primers anys 1840. Altres investigadors destacats que s’han expandit sobre el tema són Otto Hesse i Arthur Cayley (tots dos matemàtics europeus del segle XIX).

Què és un invariant? - Definició de tecnologia