Zusammenfassung
Lehrveranstaltungen zur Theoretischen Informa- tik, kurz: TI, können nach Auffassung des Autors einen beachtlichen Bei- trag zur Entwicklung allgemeiner Denktechniken leisten. Dazu gehören insbesondere die Fähigkeit zum Abstrahieren, Konkretisieren, Spezifi- zieren, Denken in verschiedenen Abstraktionsebenen, strukturbezogenes j Arbeiten u.v.m. Diese sog. Metaqualifikationen werden von Vertretern der beruflichen Praxis immer stärker betont und von den Hochschulab- solventen abgefordert.
Die Vermittlung fachspezifischer Inhalte soll neben dem Wissenszuwachs im Fachgebiet einen signifikanten Beitrag zu diesen allgemein geistigen Qualifikationen leisten. Dafür hat der Autor Ideen für eine Didaktik der TI entwickelt und erprobt.
Kern dieses pädagogischen Konzepts ist die aktive Auseinandersetzung mit der Begrifflichkeit, mit zentralen Beweistechniken, Aussagen und ab- strakten Objekten der TI durch adäquate programmiersprachliche Re- präsentationen. Neben Vorlesungen und Übungen (Diskussionen, Kon- sultationen oder Seminaren) ist Computerarbeit organischer Ausbil- dungsbestandteil in TI
Zur sprachlichen Repräsentation verwenden wir Scheme, eine funktions- orientierte Sprache, die über sehr leistungsfähige programmiersprachli- che Konzepte verfügt, um auf hinreichend abstraktem Niveau begrifflich arbeiten zu können.
Scheme ist eine Programmiersprache aus der Lisp-Familie. Gemeint ist außerdem eine Unix-basierte Arbeitsumgebung mit web-Integration.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Abelson, Harold; Sussman, Gerald Jay: Structure and Interpretation of Computer Programs. The MIT Press, Cambridge, 1985.
Baumert, Jürgen; Lehmann, Rainer u.a.: TIMSS - Mathematisch-naturwissen- schaftlicher Unterricht im internationalen Vergleich: Deskriptive Befunde. Les- ke+Budrich, Opladen, 1997.
Friedman, Daniel P.; Wand, Mitchell; Haynes, Christipher T.: Essentials of Pro- gramming Languages. The MIT Press, Cambridge, 1992.
Harvey, Brian; Wright, Matthiew: Simply Scheme. The MIT Press, Cambridge, 1994.
Haynes, Christopher T.: Compiling: A High-level Introduction Using Scheme, in: The proceedings of the Twenty-eighth SIGCSE Technical Symposium on Computer Science Education, San Jose, Feb. 27 - March 1, 1997, p. 253–257.
Springer, George; Friedman, Daniel P.: Scheme and the Art of Programming. The MIT Press, Cambridge, 1989.
Wagenknecht, Christian: Rekursion: Ein didaktischer Zugang mit Funktionen. Dümmler, Bonn, 1994.
Wagenknecht, Christian; Friedman, Daniel P.: Teaching Nondeterministic and Uni- versal Automata using Scheme. (accepted paper)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wagenknecht, C. (1998). Theoretische Informatik mit Scheme* — Ein Erfahrungsbericht. In: Claus, V. (eds) Informatik und Ausbildung. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-72169-4_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-72169-4_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64178-0
Online ISBN: 978-3-642-72169-4
eBook Packages: Springer Book Archive