《证明类导论》中的自然语言证明检查--关于双序的初步经验
Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
摘要：
我们提出并分析了就业的Diproche系统，一个自然语言证明检查，在一个学期的数学初学者讲座与228名参与者。该系统用于检查学生对布尔集合论和初等数论证明题的解答尝试，并给他们即时反馈。就业的系统的好处是通过在学期结束时的问卷调查，并通过分析学生的一个小组的解决方案尝试进行评估。基于我们的研究结果，我们开发了未来改进的方法。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
