2015/07/14 by Arno Ehle, Ehle, Arno, Norbert Hundeshagen +3 · 1 citation
Computer Science · Mathematics · Social Sciences · #Cognitive and developmental aspects of mathematical skills #Mathematics Education and Teaching Techniques #Statistics Education and Methodologies #cs.CY #cs.LO
paper · pdf · doi:10.48550/arxiv.1507.03666
Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, João Marcos, María Manzano, Sophie Pinchinat, François Schwarzentruber
arxiv created 2015/07/14 · arxiv updated 2015/07/15
We present the Sequent Calculus Trainer, a tool that supports students in learning how to correctly construct proofs in the sequent calculus for first-order logic with equality. It is a proof assistant fostering the understanding of all the syntactic principles that need to be obeyed in constructing correct proofs. It does not provide any help in finding good proof strategies. Instead it aims at understanding the sequent calculus on a lower syntactic level that needs to be mastered before one can consider proof strategies. Its main feature is a proper feedback system embedded in a graphical user interface. We also report on some empirical findings that indicate how the Sequent Calculus Trainer can improve the students' success in learning sequent calculus for full first-order logic.