Specifying Strategies for Exercises

详细信息    查看全文

• 作者：Bastiaan Heeren ; Johan Jeuring ; Arthur van Leeuwen ; Alex Gerdes
• 刊名：Lecture Notes in Computer Science
• 出版年：2008
• 出版时间：2008
• 年：2008
• 卷：5144
• 期：1
• 页码：430-445
• 全文大小：445.3 KB

文摘

The feedback given by e-learning tools that support incrementally solving problems in mathematics, logic, physics, etc. is limited, or laborious to specify. In this paper we introduce a language for specifying strategies for solving exercises. This language makes it easier to automatically calculate feedback when users make erroneous steps in a calculation. Although we need the power of a full programming language to specify strategies, we carefully distinguish between context-free and non-context-free sublanguages of our strategy language. This separation is the key to automatically calculating all kinds of desirable feedback.