Dom Softver Što je invarijant? - definicija iz tehopedije

Što je invarijant? - definicija iz tehopedije

Sadržaj:

Anonim

Definicija - Što znači Invariant?

Invarijant je vrijednost ili stanje za koje se očekuje da budu dosljedni tijekom izvođenja postupka. Invarianti su korisni u testiranju rezultata algoritama i integriteta računalnih programa. Njihova predvidljivost može pojednostaviti postupak ocjene valjanosti logičkih tvrdnji, a invarijante može promatrati kao referentne točke unutar okolnosti.

Tehopedia objašnjava Invariant

Za najstarija objavljena zapažanja o invarijantnim pojavama govori se u široko utjecajnom tekstu Carla Friedricha Gaussa o teoriji brojeva kasnog osamnaestog stoljeća, „Disquititiones Arithmeticae“. Međutim, inovacija potpuno formirane invariantne teorije često je akreditirana George Boole, koji je napisao o tome za časopis Cambridge Mathematical Journal početkom 1840-ih. Ostali istaknuti istraživači koji su se proširili na tu temu uključuju Otto Hesse i Arthura Cayleyja (obojica su europski matematičari iz 19. stoljeća).

Što je invarijant? - definicija iz tehopedije