Rekursive Strukturen in Einführungsvorlesungen der Informatik

Abstract

Rekursive Funktionsaufrufe, reguläre Ausdrücke in BNF oder rekursive Datenstrukturen sind Themen, die in der Anfängervorlesung zur Informatik von großer Bedeutung sind. Das aus der Sicht der Informatik diesen Themen gemeinsame zentrale Konzept ist die Rekursion. In dieser Arbeit wird zunächst der Begriff der rekursiven Struktur syntaktisch definiert, die verschiedenen Formen kategorisiert und die Semantik mit Hilfe der Fixpunkttheorie mathematisch festgelegt. Aus dieser Analyse werden methodische und didaktische Schlussfolgerungen für die Vermittlung rekursiver Strukturen im Hochschulbereich gezogen. Andererseits wird diskutiert, wie rekursive Strukturen in Grundvorlesungen vermittelt werden und untersucht, inwieweit die hier beschriebenen Schlussfolgerungen mit einem typischen Vorlesungsentwurf verträglich sind.