Vorbedingung und Nachbedingung

[chillerStudent]

Hallo,

ich habe eine Frage bezüglich der Vor- und Nachbedingung. Dafür müsste ich erstmal wissen, wie ich ein Summenzeichen hier darstellen kann. Weiß es jemand?

 

[hartzie]

in Java Quellcode solltest du solch spezielle Zeichen nicht verwenden. Wenn du aber doxygen verwendest kannst du alles in tex schreiben was dir sowas natürlich erlaubt.

 

[XHelp]

Es gibt hier einen Tex-Editor direkt über "Direkt antworten"-Feld.
Ansonsten kannst du auch ein Summenzeichen darstellen, in dem du "SUMMEZEICHEN" hinschreibst...

 

[chillerStudent]

Es gibt hier einen Tex-Editor direkt über "Direkt antworten"-Feld.
Ansonsten kannst du auch ein Summenzeichen darstellen, in dem du "SUMMEZEICHEN" hinschreibst...

Wie kann ich denn, das was ich in Text editor erstelle im Antwort editor eingeben?

 

[XHelp]

Den Link von dem Bild kompieren und ganz normal als Bild in deiner Antwort einfügen

 

[chillerStudent]

Danke.
Also es geht um folgendes:

Gegeben sei der Programmschnitt:

sum=0;
i=0;
while(i<n) {
 sum=sum+a[i];
 a[i]=0;
 i=i+1;
}

Gegeben sind auch die Vorbedingung

und Nachbedingung:

M ist ein beliebiger Wert und n=a.length und ich soll mit der Hilfe der partiellen Korrektheit eine Invariante angeben.

Meine Frage ist nun wie man die vor- und nachbedingung umschreiben kann?

 

[chillerStudent]

Kann mir denn keiner helfen?🙁