Algorithmen und Datenstrukturen

Ein Algorithmus hat Eigenschaften, die unabhängig von seinem Code gelten: ob er für jede Eingabe korrekt ist, ob er terminiert und wie schnell seine Laufzeit mit der Eingabegröße wächst. Die Oberstufen-Algorithmik behandelt dazu rekursive Verfahren, dynamische Datenstrukturen (Liste, Stapel, Schlange, Baum) und Graphen als Modell vernetzter Strukturen. Erst diese Trennung von „funktioniert im Test" und „ist nachweislich korrekt und effizient" macht aus Programmieren Algorithmik.