使用 Natural Deduction Planner 按正确顺序教授自然演绎
计算机与社会
2015-07-15 v1 计算机科学中的逻辑
摘要
我们描述了一种基于策略的自然演绎教学方法，该方法使用一种强调演绎构造顺序的表示法，并配备了一个 {\LaTeX} 宏包和一个 Java 应用程序，以辅助制作教学资源和课堂演示。我们的方法面向极少接触数学方法的学生，并在过去十年为哲学专业本科生授课的过程中得到了发展。
引用
@article{arxiv.1507.03681,
title = {Teaching natural deduction in the right order with Natural Deduction Planner},
author = {Jeremy Seligman and Declan Thompson},
journal= {arXiv preprint arXiv:1507.03681},
year = {2015}
}
备注
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, Jo\~ao Marcos, Mar\'ia Manzano, Sophie Pinchinat, Fran\c{c}ois Schwarzentruber