Hoare-Formel |
energyfull
Grünschnabel
Dabei seit: 10.11.2008
Beiträge: 6
|
|
hi informatiker,ich hätte da eine frage, wie ich eine hoare-formel für die berechnung der funktion f(x)=x² angeben kann??
|
|
16.01.2009 23:33 |
|
|
kiste
Mitglied
Dabei seit: 06.05.2007
Beiträge: 29
|
|
Ich habe bei Google nur gefunden dass eine Hoareformel einfach ein {P}c{Q} ist. Dann kannst du doch {true} y= x*x; {y=x^2} benutzen oder hab ich was falsch verstanden?
|
|
17.01.2009 13:35 |
|
|
energyfull
Grünschnabel
Dabei seit: 10.11.2008
Beiträge: 6
|
|
ich bin mir da auch nicht so sehr sicher, deshalb war ja meine frage
|
|
17.01.2009 20:10 |
|
|
energyfull
Grünschnabel
Dabei seit: 10.11.2008
Beiträge: 6
|
|
ich habe da noch eine frage:
ich habe einen pseudocode:
proc calc (x,n) {
i := 0;
p:= 1;
s:= 1;
while < n do
i:= i+1;
p:= p*x;
s:= s+p;
od
print s;
}
kann mir einer erklären was diese funktion berechnet? und wie man die totale korrktheit der funktion bzgl. der behauptung nachweist?
|
|
18.01.2009 13:01 |
|
|
kiste
Mitglied
Dabei seit: 06.05.2007
Beiträge: 29
|
|
Falls es while i < n heißt wird hier dann berechnet. Das kannst du z.B. mit einer geeigneten Schleifeninvariante zeigen.
|
|
18.01.2009 16:09 |
|
|
energyfull
Grünschnabel
Dabei seit: 10.11.2008
Beiträge: 6
|
|
ja es soll i<n heissen, wie zeigt man denn so was? kannst du mir helfen?
und was ist denn mit der totalen korrektheit?
|
|
18.01.2009 23:03 |
|
|
|