Begizta inbariante

Wikipedia, Entziklopedia askea
Jump to navigation Jump to search

Informatikan, begizta inbariante bat ordenagailu-programa baten begizta bat exekutatu aurretik eta ondoren betetzen den propietatea da. Inbariantea asertzio logikoa da, batzuetan asertzio dei baten kodea erabiliz egiaztatzen dena. Begizta baten inbariantea ezagutzea ezinbestekoa da begiztak duen efektua ondo ulertu ahal izateko.


Informatika Artikulu hau informatikari buruzko zirriborroa da. Wikipedia lagun dezakezu edukia osatuz.