Hoare-Formel |
16.01.2009, 23:33 | Auf diesen Beitrag antworten » |
energyfull | Hoare-Formel hi informatiker,ich hätte da eine frage, wie ich eine hoare-formel für die berechnung der funktion f(x)=x² angeben kann?? |
|
|
17.01.2009, 13:35 | Auf diesen Beitrag antworten » |
kiste | 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, 20:10 | Auf diesen Beitrag antworten » |
energyfull | ich bin mir da auch nicht so sehr sicher, deshalb war ja meine frage |
18.01.2009, 13:01 | Auf diesen Beitrag antworten » |
energyfull | 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? |
Anzeige | |
|
|
18.01.2009, 16:09 | Auf diesen Beitrag antworten » |
kiste | Falls es while i < n heißt wird hier dann berechnet. Das kannst du z.B. mit einer geeigneten Schleifeninvariante zeigen. |
18.01.2009, 23:03 | Auf diesen Beitrag antworten » |
energyfull | ja es soll i<n heissen, wie zeigt man denn so was? kannst du mir helfen? und was ist denn mit der totalen korrektheit? |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|