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 |
| 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 » |
|
