Konferenzbeitrag
Rekursive Strukturen in Einführungsvorlesungen der Informatik
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Zusatzinformation
Datum
2002
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
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.