Studienziele:    
Kenntnisse über Spezifikationstechni­ken, Komplexitätsanalyse, Datenstrukturen und Algo­rithmenentwurf; Fähigkeit zu Spezifikation und Entwurf von Datenstrukturen und Algorithmen

Studieninhalte:
Grundlagen:
Algorithmenbegriffe, programmiersprachliche Konstrukte zur Algorithmenspezifikation, ausgewählte Algo­rithmenprobleme

Algorithmenanalyse:
Mathematische Grundlagen, Komplexi­tätsklassen, Laufzeitberechnungen

Abstrakte Datentypen und deren Implementierung:
axiomatische und programmiersprachliche Spezifikation, grundlegen­de Datenstrukturen (Liste, Stack, Queue etc.)

Sortieralgorithmen:
grundlegende in-memory und external Sortieralgorithmen

Bäume:
Grundlagen, Binärbäume, Mehrwegbäume, AVL-Bäume, binäre Suchbäume und weitere Baumarten

Hashing:
Grundlagen, Kollisionsstrategien, Anwendungen