Gentzen-Prawitz Natural Deduction as a Teaching Tool

Details Gentzen-Prawitz Natural Deduction as a Teaching Tool Gentzen-Prawitz Natural Deduction as a Teaching Tool

2009-07-21

arxiv.org/abs/0907.3599v1

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Gentzen-Prawitz Natural Deduction as a Teaching Tool does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Gentzen-Prawitz Natural Deduction as a Teaching Tool, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Gentzen-Prawitz Natural Deduction as a Teaching Tool will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-175637