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.
Similar content being viewed by others
References
A. Ambrus, Matematikadidaktika, (1995)
K. J. Fuchs, Computer Algebra Systems in Mathematic Education, International Symposium— Anniversary of Pollack Mihály College of Engineering, (2002)
J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Reading, MA, (1979).
Kozen: Automata and Computability.—Springer-Verlag, New York (1997)
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)
Gy. Maróti, Didactic Approach for Teaching Nondeterminism in Automata Theory, ZDM 2003 Vol. 35 2 0241 0219 V 3
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)
M. Y. Vardi, An Automata-Theoretic Approach to Linear Temporal Logic