论文标题
自然语言证明检查在证明课程简介中 - Diproche的首次体验
Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
论文作者
论文摘要
我们在一个学期数学初学者的讲座中介绍并分析了自然语言检查器Diproche System的就业。该系统用于检查学生的解决方案尝试，以证明布尔集理论和基本数理论中的练习，并给予他们立即反馈。在学期结束时通过问卷调查评估了系统就业的好处，并通过分析学生子组的解决方案尝试。根据我们的结果，我们开发了未来改进的方法。
We present and analyze the employment of the Diproche system, a natural language proof checker, within a one-semester mathematics beginners lecture with 228 participants. The system is used to check the students' solution attempts to proving exercises in Boolean set theory and elementary number theory and to give them immediate feedback. The benefits of the employment of the system are assessed via a questionnaire at the end of the semester and via analyzing the solution attempts of a subgroup of the students. Based on our results we develop approaches for future improvements.
