Gentzen-Prawitz自然演绎作为教学工具
计算机科学中的逻辑
2009-07-22 v1
摘要
我们报告了一项为期四年的实验，使用Gentzen-Prawitz风格的自然演绎对从弱到有天赋的本科生进行推理教学。我们认为，这种教学方法是用布尔代数教授推理的一个良好替代方案，尤其适用于计算机科学家和形式化方法从业者。
引用
@article{arxiv.0907.3599,
title = {Gentzen-Prawitz Natural Deduction as a Teaching Tool},
author = {Jean-François Monin and Cristian Ene and Michaël Périn},
journal= {arXiv preprint arXiv:0907.3599},
year = {2009}
}