Turinys:
Apibrėžimas - ką reiškia Invariantas?
Invariantas yra reikšmė ar sąlyga, kuri, tikimasi, bus pastovi vykdant procesą. Invariantai yra naudingi tikrinant algoritmų rezultatus ir kompiuterinių programų vientisumą. Jų nuspėjamumas gali supaprastinti loginių teiginių pagrįstumo įvertinimo procesą, o invariantai gali būti laikomi atskaitos taškais aplinkiniame kontekste.
„Techopedia“ paaiškina „Invariant“
Manoma, kad ankstyviausi paskelbti nekintamų reiškinių stebėjimai egzistuoja Carlo Friedricho Gausso labai įtakingoje XVIII amžiaus tekste apie skaičių teoriją „Disquititiones Arithmeticae“. Tačiau visiškai suformuotos invariantinės teorijos naujovė dažnai akredituota George'ui Boole, kuris parašė. apie tai Kembridžo matematikos žurnalui 1840-ųjų pradžioje. Tarp kitų garsių tyrėjų, išplėtusių šią temą, yra Otto Hesse ir Arthur Cayley (abu yra Europos matematikai nuo XIX a.).
