用于形式推理自主学习的移动应用
计算机科学中的逻辑
2020-03-02 v1
摘要
在本工作中，我们介绍 AXolotl，一款旨在引导学生学习形式推理与项操作基础的自学辅助工具。与大多数现有的形式推理学习辅助工具不同，AXolotl 是一款基于 Android、具有简单触控界面的应用。其设计目标之一是最小化干扰学习过程的用户错误可能，例如拼写错误或对所提供规则的不一致应用。系统包含一个可缩放的证明查看器，显示迄今取得的进展，并允许将完成的证明存储为 JPEG 或 LaTeX 文件。该软件可在 Google Play 商店获取，并附带一个小型问题库。可使用一种简单输入语言在 AXolotl 中打开额外问题。目前，AXolotl 支持可使用将单个表达式变换为一组成表达式的规则来求解的问题。这涵盖了我们第一学期逻辑导论课程中的教学场景，并有助于弥合命题推理与一阶推理之间的差距。未来的开发将包括将一组成表达式转换为一组成表达式的重写规则，以及量化的一阶扩展。
引用
@article{arxiv.2002.12553,
title = {A Mobile Application for Self-Guided Study of Formal Reasoning},
author = {David M. Cerna and Rafael P. D. Kiesel and Alexandra Dzhiganskaya},
journal= {arXiv preprint arXiv:2002.12553},
year = {2020}
}
备注
In Proceedings ThEdu'19, arXiv:2002.11895