Theorie Testat #2b - Beispiel 4.1

[marvin]

Hallo,
Beispiel 4.1 (Theorie #2b) enthält eine ältere Version des Korrektheitsbeweis zum iterativen CheckerNotZero (#2a) und keinen Korrektheitsbeweis zu FindSearchTree.
Gruß

[Janis]

Weiterhin fehlen die anderen Beispielaufgaben Und ohne Beispielaufgabe ist es schwierig zu wissen ob man die offenen Beispielaufgaben richtig macht.

Ich hab mein Testat Montag und weiß ehrlich nicht wie ich mich im Moment darauf vorbereiten soll. Das ganze Dokument 2b ist praktisch eine Kopie von 2a mit ein paar wenigen Bemerkungen zur Rekursion zwischen drin. Und dann halt noch ohne Beispielaufgaben. Das erscheint mir alles echt unorganisiert.

[invariant]

Hallo,

das das Blatt recht ähnlich zu 2A gehalten ist, ist an dieser Stelle Absicht. Die Beweisverfahren unterscheiden sich vom Prinzip her nicht, daher wollten wir Ihnen noch einmal ein paar Fakten aus 2A in Erinnerung rufen.

Die Beispielaufgaben wurden überarbeitet und sind in der neuen Version enthalten (siehe moodle).

Ich bitte die Umstände die Ihnen dadurch entstanden sind zu entschuldigen.

Gruß