Invariant
Geplaatst: di 22 sep 2009, 16:36
Hallo,
ik heb de volgende code:
x = 1;
y = A; // A is een getal die je zelf invoert
while( y > 0 )
{
x = (x / 2);
y = (y - 1);
}
Als formule heb ik: x(A) = 1/(2A)
Hieruit moet ik een invariant opstellen, dit is mij tot dusver niet gelukt.
Heeft iemand een idee hoe ik verder moet?
Groeten,
DrPhill
ik heb de volgende code:
x = 1;
y = A; // A is een getal die je zelf invoert
while( y > 0 )
{
x = (x / 2);
y = (y - 1);
}
Als formule heb ik: x(A) = 1/(2A)
Hieruit moet ik een invariant opstellen, dit is mij tot dusver niet gelukt.
Heeft iemand een idee hoe ik verder moet?
Groeten,
DrPhill