论文标题
数学证明的实际在线评估
Practical Online Assessment of Mathematical Proof
论文作者
论文摘要
我们讨论一种在线评估数学证明的实用方法。我们研究了褪色的示例和阅读理解问题以了解证据的使用。通过分解给定的证据，我们制定了一个清单，该清单可用于生成可以自动在线评估的理解问题。然后，我们提供了一些部署此类问题的初步结果。
We discuss a practical method for assessing mathematical proof online. We examine the use of faded worked examples and reading comprehension questions to understand proof. By breaking down a given proof, we formulate a checklist that can be used to generate comprehension questions which can be assessed automatically online. We then provide some preliminary results of deploying such questions.
