» »

HELP - Dokazovanje pravilnosti algoritmov

HELP - Dokazovanje pravilnosti algoritmov

mile ::

Dan je algoritem



Function alg(A,B: integer): integer; (* fi(A,B)= (A>==0) and (B>=0)*)
var i: integer;
begin
i:=0;
while A >= B do begin
A:=A -B;
i:=i+1;
end;
alg:=i;
end; (* psi(A,B,alg)= A div B*)



Naloga: Dokaži parcijalno pravilnost algoritma!

:( Se je kdo s tem že za*ebaval? Zanima me predvsem, kakšno zančno invarijanto moram postavit?
  • spremenil: mile ()

Thrivial ::

Delphi, a? :)

V torek imam izpit... pa se mi niti priblizno ne sanja kako bi tole izpeljal.

Veliko srece. :)

lp
:: Member of Eror Team ::

... and Eror Team is gone...

mile ::

to je še en star dolg... OAPS2


Vredno ogleda ...

TemaSporočilaOglediZadnje sporočilo
TemaSporočilaOglediZadnje sporočilo
»

Diagrami poteka

Oddelek: Šola
201951 (1589) fx
»

VB.NET evklidov algoritem razširjen

Oddelek: Programiranje
8825 (672) Yacked2
»

[ORACLE]Deklaracije user defined funkcije

Oddelek: Programiranje
5907 (866) win64
»

Računalništvo na maturi - več vprašanj, da vidimo kolko znate!

Oddelek: Šola
484761 (2833) seaclam
»

[Delphi] Pomoč pri reševanju naloge ! Nujno :/

Oddelek: Programiranje
161722 (1312) Suly

Več podobnih tem