Specifying Rewrite Strategies for Interactive Exercises
نویسندگان
چکیده
منابع مشابه
Specifying Rewrite Strategies for Interactive Exercises
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating with fractions. In this paper we introduce a language for specifying strategies for solving exercises. This language makes it easier to automatically calculate feedback, for example when a user makes an erroneous step in...
متن کاملSpecifying Strategies for Exercises
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 ...
متن کاملStrategies for Specifying Relations ∗
The generation perspective taken by optimality theoretic syntax has a lot in common with the insights gained in natural language generation. This paper explores how insights about NP generation (e.g. Reiter & Dale (2000), van Deemter (2004)) can be made fruitful for explaining the semantics and pragmatics of sentences with more than one plural NP by exploiting optimality theoretic pragmatics, a...
متن کاملStrategies for Exercises
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating with fractions. In this paper we introduce a language for specifying strategies for solving exercises. This language makes it easier to automatically calculate feedback, for example when a user makes an erroneous step in...
متن کاملRewrite Rules and Strategies for Molecular Graphs
In this paper, we present a rewriting framework for modeling molecular complexes, biochemical reaction rules and generation of biochemical networks based on the representation of molecular complexes as a particular type of multigraphs with ports called molecular graphs. The advantage of this approach is to obtain for free a rewriting calculus which allows defining at the same level transformati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics in Computer Science
سال: 2010
ISSN: 1661-8270,1661-8289
DOI: 10.1007/s11786-010-0027-4