Gentzen-Prawitz Natural Deduction as a Teaching Tool
Logic in Computer Science
2009-07-22 v1
Abstract
We report a four-years experiment in teaching reasoning to undergraduate students, ranging from weak to gifted, using Gentzen-Prawitz's style natural deduction. We argue that this pedagogical approach is a good alternative to the use of Boolean algebra for teaching reasoning, especially for computer scientists and formal methods practionners.
Cite
@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}
}