Interaktive Visualisierungen in der Lehre der Theoretische Informatik

  • Christian Pape
  • Peter Schmitt
Conference paper
Part of the Informatik aktuell book series (INFORMAT)

Zusammenfassung

Wir berichten über unsere Erfahrungen, die wir mit der Entwicklung eines interaktiven Hypertextes zur Einführung in die Theoretische Informatik gemacht haben. Wir legen kurz unsere Ansätze dar, Simulationen in diesen Hypertext zu integrieren und gehen ausführlicher auf eine Visualisierung des in der Grundausbildung vermittelten Cocke-Kasami-Younger Algorithmus ein.

Abstract

We report on our experiences with the development of an interactive hypertext for teaching theoretical computer science. We briefly expose the integration of simulations into the hypertext and demonstrate more elaborately a visualization of the Cocke-Kasami-Younger algorithm that is part of our undergraduate curriculum.

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. 1.
    Barwise, J. und J. Etchemendy: Turing’s World 3.0. Windows Version. CSLI Lecture Notes. Cambridge University Press, 1997.Google Scholar
  2. 2.
    Bergin, J., K. Brodilie, M. Goldweber, R. Jiménez-Peris, S. Khuri, M. Pa-tiño-Matínez, M. McNally, T. Naps, S. Rodger und J. Wilson: An overview of visualization: its use and design. Report of the Working Group on Visualization. SIGCSE Bulletin, 28:192–200, 1996.CrossRefGoogle Scholar
  3. 3.
    Bilska, A. O., K. H. Leidger, M. Procopiuc, O. Procopiuc, S. Rodger, J. R. Salemme und E. Tsang: A Collection of Tools for Making Automata Theory and Formal Languages Come Alive. In: SIGCSE’97, S. 15–19, 1997.Google Scholar
  4. 4.
    Brown, M. H.: Algorithm Animation. MIT Press, Cambridge, 1988.Google Scholar
  5. 5.
    Moll, R. A., A. J. Kfoury und M. A. Arbib: An Introduction to Formal Language Theory. Texts and Monographs in Computer Science. Springer-Verlag, 1988.MATHGoogle Scholar
  6. 6.
    Pape, C.: Using Interactive Visualization for Teaching the Theory of NP-completeness. Techn. Ber. 30, Universität Karlsruhe, 1997.Google Scholar
  7. 7.
    Pape, C. und P.H. Schmitt: Visualizations for Proof Presentation in Theoretical Computer Science Education. In: Halim, Z., T. Ottmann und Z. Razak (Hrsg.): Proceedings of International Conference on Computers in Education, Kuching, Sarawak, Malaysia, December 2–6, S. 229–236. Association for the Advancement of Computing in Education, 1997.Google Scholar
  8. 8.
    Post, E.: A variant of a recursivley unsolvable problem. Bulletin of the American Mathematical Society, 53:264–268, 1946.MathSciNetCrossRefGoogle Scholar
  9. 9.
    Rodger, S.: An Interactive Lecture Approach to Teaching Computer Science. In: SIGCSE’95, S. 278–282, 1995.Google Scholar
  10. 10.
    Stasko, J., A. Badre und C. Lewis: Do Algorithm Animations Assist Learning? An Empirical Study and Analysis. In: Proceedings of ACM Int. Conference on Human Factors in Computing Systems, Understanding Programming, S. 61–66, 1993.Google Scholar
  11. 11.
    Turing, A. M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. London Mathematical Society, 42:230–265, 1936.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Christian Pape
    • 1
  • Peter Schmitt
    • 1
  1. 1.Institut für Logik, Komplexität und DeduktionssystemeUniversität KarlsruheKarlsruheDeutschland

Personalised recommendations