L5 Correctness: Korrektheit

Autoren: Beat Trachsler und Paul Miotti

Bei der Entwicklung eines Algorithmus spielt die Korrektheit von Anfang an eine entscheidende Rolle. Dabei soll die Korrektheit a priori hergeleitet werden.

1. Ich erkenne und anerkenne die Bedeutung von Korrektheitsbeweisen.

1. Ich kenne den Begriff der Invariante und kann ihn auf Beispiele anwenden.
2. Ich verstehe die dazu gehörende Notation.

• Ueberdeckung eines Schachbretts mit 2-Feld-Plättchen

• Beweise, dass Dein Algorithmus wirklich das erwartete Ziel erreicht. — Paul Miotti 2008/06/24