Detali paieška
Išorinės paslaugos
Raštija.lt
ci̇̀klo invariántas
Apibrėžtis
Teiginys, kuris yra teisingas prieš atliekant ciklą, nesikeičia (t. y. lieka teisingas) pakartojus kiekvieną ciklo veiksmą ir taip pat lieka teisingas baigus vykdyti ciklą.
Naudojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai invarianto sakinys pradedamas žodžiu assert. Pavyzdžiui, sveikųjų skaičių dalybą apibrėžiančiame cikle:
liekana := dalijamasis;
dalmuo := 0;
while liekana > daliklis do
begin
assert dalmuo * daliklis + liekana = dalijamasis;
dalmuo := dalmuo + 1;
liekana := liekana - daliklis;
end;
invarianto assert dalmuo * daliklis + liekana = dalijamasis reikšmė visada yra tiesa.
Naudojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai invarianto sakinys pradedamas žodžiu assert. Pavyzdžiui, sveikųjų skaičių dalybą apibrėžiančiame cikle:
liekana := dalijamasis;
dalmuo := 0;
while liekana > daliklis do
begin
assert dalmuo * daliklis + liekana = dalijamasis;
dalmuo := dalmuo + 1;
liekana := liekana - daliklis;
end;
invarianto assert dalmuo * daliklis + liekana = dalijamasis reikšmė visada yra tiesa.
Atitikmuo (-ys)
anglų kalba
- loop invariant
Enciklopedinis kompiuterijos žodynas
Aprašymas
Kalba
Autoriai
Publikavimo informacija
Data
Vieta
Leidėjas
Pavadinimas
Informacija iš kitų sistemų paslaugų
Atsisiųsti ištekliaus įrašo informaciją
Atsisiųsti žodžio informaciją:
RDF formatu LMF formatu TEI formatu TBX formatu SOAP formatu JSON formatu XLSX formatu DOCX formatu PDF formatu
Vertimas pagal vertimas.vu.lt
anglų kalba: cycle Invariant
prancūzų kalba: inversion du cycle
vokiečių kalba: Zyklusinversion
rusų kalba: инверант цикла
lenkų kalba: inwariancja cyklu
Komentuoti
Komentuoti gali tik prisijungę nariai.
Komentarų nėra
Komentarai(0)