Representation of Problem-Solving Procedures in MathCAL
PROCEEDINGS
Janet Lin, National Taiwan Normal University, Taiwan ; Jie-Yong Juang, National Taiwan University, Taiwan ; Ponson Sun, National Taiwan Normal University, Taiwan
International Conference on Mathematics / Science Education and Technology, Publisher: Association for the Advancement of Computing in Education (AACE)
Abstract
MathCAL is a network-based learning system for users to practice mathematical problem solving. Math knowledge is pre-analyzed to derive a set of macro functions for use in solving problems in a specific domain. Each macro function typically represents a math concept or rule which may be used to transform a math problem from a state into the next. Learners select problems to work on from the problem bank and proceed with problem solving step by step. The kernel of the system uses Petri nets to dynamically record a learner's problem-solving activities. The Petri-net representation allows the system to determine appropriateness of a user's application of a function at a certain step. It also enables the system to understand a user's thinking process when it is requested to offer guidance. MathCAL also supports synchronous and asynchronous network functions which may be used to establish a collaborative problem-solving environment. In addition, MathCAL allows users to add new problems and/or new solution paths to its databases.
Citation
Lin, J., Juang, J.Y. & Sun, P. (2000). Representation of Problem-Solving Procedures in MathCAL. In Proceedings of International Conference on Mathematics / Science Education and Technology 2000 (pp. 265-270). Association for the Advancement of Computing in Education (AACE). Retrieved March 19, 2024 from https://www.learntechlib.org/primary/p/15453/.
© 2000 Association for the Advancement of Computing in Education (AACE)
Keywords
References
View References & Citations Map- Lin, J.M.-C., Juang, J.-Y., & Sun, P. (1999). An Internet-Based CAL Software for Solving Trigonometric Problems. International Conference on Mathematics/Science Education and Technology, (M/SET Association 99) for the Advancement of Computing in Education, Charlottesville, VA. 275-280.
- Peterson, J.L. (1981). Petri Net Theory and the Modeling of Systems, Englewood Cliffs, NJ: Prentice-Hall, Inc. Acknowledgements This research has been funded by the National Science Council of Taiwan, the Republic of China, under grant number NSC 89-2520-S-003-001.
These references have been extracted automatically and may have some errors. Signed in users can suggest corrections to these mistakes.
Suggest Corrections to References