Változtatható (programozás) - a
Ebben a kifejezést, vannak más célra, lásd. A invariáns.
Változtatható programozási nevezzük logikai kifejezés. Igaz minden ciklus után a test üreg (miután a rögzített operátor) és mielőtt a ciklus, attól függően változó, hogy a változás a ciklus törzse. [1]
Invariáns használt elmélete program tesztelésénél bizonyítani a helyességét a végrehajtás a hurok. Az, hogy a bizonyítékok ciklus műveletet invariáns a következő:
- Bebizonyosodott, hogy az invariáns kifejezés igaz, mielőtt a hurok.
- Bebizonyosodott, hogy az invariáns kifejezést megtartja az igazság után a ciklus testet; így, indukciós, ha bebizonyosodik, hogy az invariáns végeznek A ciklus befejeződése.
- Bebizonyosodott, hogy az invariáns igazság túl ciklusváltozók lesz pontosan a kívánt értéket kap (ez határozza meg az elemi kifejezése állandó és ismert véges a változók értékeit, amikor a feltétel befejezése a ciklus).
- Ez azt bizonyítja, (lehetőség szerint - használata nélkül invariáns), hogy a ciklus befejeződött, azaz a befejezés feltétele előbb vagy utóbb lesz végrehajtva.
- Az igazság az állítások bizonyult a korábbi szakaszokban egyértelműen jelzi, hogy a ciklus végrehajtódik egy véges idő és így a kívánt eredményt.
invariáns is használják a tervezés és optimalizálás a ciklikus algoritmusok. Például, hogy győződjön meg arról, hogy az optimalizált ciklus helyes volt, elegendő annak bizonyítására, hogy a hurok invariáns nem törött, és a feltétel teljesíthető ciklus befejeződött.
invariáns fogalom is használják objektumorientált programozási hivatkozni konzisztens állapotban az objektum. Magától értetődik, hogy a hívás bármely eljárás elhagyja az objektumot egy állam állandó.
jegyzetek
Nézze meg, mi a „állandó (programozás)” más szótárak:
Változtatható - vagy invarianciájának kifejezés valami megváltoztathatatlan. A konkrét kifejezés jelentését függ a régió, ahol alkalmazzák: invariáns (matematika) csomót invariánsokat topológia Változtatható (fizika) invariáns (programozás) invariáns ... Wikipedia
Programozás-elmélet - matematikai tudományág, amely tanulmányozza a matematikai. absztrakció programok objektumként kezeli, kifejezve a hivatalos nyelv, bizonyos információkat és logikus. strukturálják és végre kell hajtani az Automatikus. eszközöket. P. t. ... ... Encyclopaedia of Mathematics
Tervező (programozás) - Ez a kifejezés, vannak más célra, lásd tervező .. Az objektumorientált programozás osztály konstruktor (az angol. Constructor, néha vágni ctor) speciális blokkja utasításokat nevezzük, amikor egy objektum jön létre. ... ... Wikipedia
DRAGON (algoritmikus nyelv) - Ez a kifejezés, vannak más célra, lásd: Sárkány (egyértelműsítő lap) .. Egy példa a folyamatábra az algoritmus nyelvén Sárkány Sárkány Sárkány rendszer (algoritmikus barátságos orosz nyelv, amely leíró) vizuális ... ... Wikipedia
Kovariáns és kontravariáns - kovariáns és kontravariáns matematikai és fizikai fogalom, amely leírja, hogy az értékek változnak az átalakítás a koordináta-rendszer. A koordináták a geometriai vektor mért valamilyen specifikus rendszer ... ... Wikipedia
KULTÚRA - (lat. Cultura termesztés, az oktatás, a imádata) az univerzum az ember alkotta tárgyak (ideális és anyagi tárgyak, tárgyiasult akciók és attitűdök) által létrehozott, az emberiség a fejlődés folyamán a természet és a szerkezeti ... ... Filozófiai Enciklopédia
Sablon - Sablon lásd Wikipedia oldal Wikipedia: sablonok. Sablon a szakterületen egy tányér (sablon, stencil, és így tovább. N.) A bevágások, a kontúrt, amely rajzok készülnek vagy cikk vagy eszköz, a méretek. A minta a ... ... Wikipedia