Korrektheit von Algorithmen

Worum geht es hier?

Korrektheit ist eine zentrale Eigenschaft von Algorithmen. Ein Algorithmus sollte das leisten, was er vorgibt zu leisten bzw. was vom ihm erwartet wird. Wie kann man die Korrektheit eines Algorithmus garantieren? Du wirst im Folgenden sehen, dass das gar nicht so einfach ist.

Hier lernst du ...

• ... wie man das Verhalten eines Algorithmus exakt beschreibt.
• ... welche Bedingungen ein Algorithmus erfüllen muss, um korrekt zu sein.
• ... wie man die Korrektheit eines Algorithmus untersucht und nachweist.