arXiv:2503.19280v1 类型: cross 摘要：命题逻辑的研究是计算理论的基础，也是本科计算机科学课程的核心内容。学习解决逻辑证明需要反复的指导性练习，但本科学生往往缺乏在一个无评判环境中即时获得辅导的机会。在此项工作中，我们强调了对本科数学教育中引导性练习工具的需求，并概述了高效练习工具应具备的特性。据此，我们开发了LogicLearner，一个用于引导逻辑证明练习的网页应用。LogicLearner 包含一个逐步尝试逻辑证明的界面和一个自动证明求解器，可以在需要时生成解决方案。我们将在两学期的本科离散数学课程中将LogicLearner 作为练习工具进行试点，并在学生调查中收到了关于易用性和教学价值的强烈正面反馈。据我们所知，LogicLearner 是唯一提供即时、无评判反馈的逻辑证明端到端练习环境的学习工具。