LogicLearner提供即时无评判的命题逻辑证明练习环境。
LogicLearner: A Tool for the Guided Practice of Propositional Logic Proofs
- 用户可逐步尝试证明，系统实时生成解法并提供指导
- 在两学期课程中试点，学生反馈使用体验与教学价值均很好
- 唯一支持全流程练习与即时反馈的命题逻辑学习工具
命题逻辑是计算理论的基础，也是本科计算机科学课程的核心内容。掌握逻辑证明需要反复的引导式练习，但本科生往往难以获得随时可用、无压力的辅导。本文强调了在本科数学教育中引入引导式练习工具的必要性，并提出有效练习工具应具备的特征。据此，我们开发了 LogicLearner——一个用于命题逻辑证明练习的网页应用。该工具包含逐步尝试证明的界面和自动证明求解器，可即时生成解答，支持用户按需请求帮助。我们在两学期的离散数学课程中进行了试点，学生调查反馈显示其易用性和教学价值均获高度认可。据我们所知，LogicLearner 是目前唯一能为逻辑证明提供全流程练习与即时、无评判反馈的学习工具。
原文摘要 · Abstract (English)
The study of propositional logic -- fundamental to the theory of computing -- is a cornerstone of the undergraduate computer science curriculum. Learning to solve logical proofs requires repeated guided practice, but undergraduate students often lack access to on-demand tutoring in a judgment-free environment. In this work, we highlight the need for guided practice tools in undergraduate mathematics education and outline the desiderata of an effective practice tool. We accordingly develop LogicLearner, a web application for guided logic proof practice. LogicLearner consists of an interface to attempt logic proofs step-by-step and an automated proof solver to generate solutions on the fly, allowing users to request guidance as needed. We pilot LogicLearner as a practice tool in two semesters of an undergraduate discrete mathematics course and receive strongly positive feedback for usability and pedagogical value in student surveys. To the best of our knowledge, LogicLearner is the only learning tool that provides an end-to-end practice environment for logic proofs with immediate, judgment-free feedback.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。