Please use this identifier to cite or link to this item:
Title: Representation of Problem-Solving Procedures in MathCAL
Authors: 國立臺灣師範大學資訊教育研究所
Lin, Janet Mei-Chuen
Juang, Jie-Yong
Sun, Ponson
Issue Date: 5-Feb-2000
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.
Other Identifiers: ntnulib_tp_A0906_02_013
Appears in Collections:教師著作

Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.