Skip to main content
Log in

CAS based approach for discussing subset construction

  • Analyses
  • Published:
Zentralblatt für Didaktik der Mathematik Aims and scope Submit manuscript

Abstract

This paper continues the discussion of teaching nondeterminism (see [6]) where we presented a didactic approach introducing the notion of nondeterministic automata. Although in this paper we use the same methodology we have to face up to new didactic challenges. Namely, teaching the subset construction requires answers to the question how can CAS be used in teaching the different phases of mathematical problem solving so that we can reach higher cognitive efficiency.

Kurzreferat

Dieser Artikel setzt die Behandlung der Nichtdeterminiertheit aus [6] fort, wo ein didaktischer Zugang zur Einführung nichtdeterministischer Automaten präsentiert wurde. Obwohl die gleiche Methodologie eingesetzt wird, treffen wir auf neue didaktische Herausforderungen. Die Vermittlung der Teilmengen-Konstruktion erfordert nämlich eine Antwort auf die Frage, wie ein CAS eingesetzt werden kann, um die verschiedenen Phasen im mathematischen Problemlösungsprozess so zu gestalten, dass eine höhere kognitive Effizienz erricht wird.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. A. Ambrus, Matematikadidaktika, (1995)

  2. K. J. Fuchs, Computer Algebra Systems in Mathematic Education, International Symposium— Anniversary of Pollack Mihály College of Engineering, (2002)

  3. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, (1979).

    Google Scholar 

  4. Kozen: Automata and Computability.—Springer-Verlag, New York (1997)

    Google Scholar 

  5. W. Lindner, CAS-Supported Multiple Representations in the Elementary Linear Algebra, The case of Gaussian Algorithm, International Symposium— Anniversary of Pollack Mihály College of Engineering, (2002)

  6. Gy. Maróti, Didactic Approach for Teaching Nondeterminism in Automata Theory, ZDM 2003 Vol. 35 2 0241 0219 V 3

  7. M. B. Monagan, K. O. Geddes, K. M. Heal, G. Labahm, S. M. Vorkoetter, J. McCaron P. DeMarco: Maple 8 Advanced Programming Guide-Waterloo Maple, (2002)

  8. M. Y. Vardi, An Automata-Theoretic Approach to Linear Temporal Logic

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Maróti, G. CAS based approach for discussing subset construction. Zentralblatt für Didaktik der Mathematik 35, 63–68 (2003). https://doi.org/10.1007/BF02652774

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02652774

ZDM-Classification

Navigation