---

Hej

Er der nogen der kan fortælle mig hvordan jeg formelt opstiller et bevis
for en invariant (initialization, maintenance og finalization). Og
hvordan jeg ligeledes laver et korrekthedsbevis der tydeligt viser at
algoritmen er korrekt. Jeg har svært ved at se forskel på de to.

Anvend f.eks. bubblesort, heap-sort, insertion-sort, mergesort eller
hvad du nu synes illustrerer netop korrekthedsbevis og bevis for en
invariant er korrekt!

På forhånd mange tak... Skal til eksamen den 2. så jeg har meget travlt!!


Med venlig hilsen
Preben Holm


--
If your Dell laptop is unstable, try change the power supply - it works!
But the Dell will still stink! Nothing can change that!!!

---

Preben wrote:
> Er der nogen der kan fortælle mig hvordan jeg formelt opstiller et bevis
> for en invariant (initialization, maintenance og finalization). Og
> hvordan jeg ligeledes laver et korrekthedsbevis der tydeligt viser at
> algoritmen er korrekt. Jeg har svært ved at se forskel på de to.

Følgende note er værd at kigge nærmere på:
<http://www.daimi.au.dk/~nygaard/pub/dADS03.pdf>

--
Jonas Kongslund