Pandora: A Reasoning Toolbox using Natural Deduction Style |
| |
| Authors: | Broda, Krysia Ma, Jiefei Sinnadurai, Gabrielle Summers, Alexander |
| |
| Affiliation: | Department of Computing, Imperial College London, South Kensington Campus, Exhibition Road, London SW7 2AZ, UK. E-mails: { kb{at}doc.ic.ac.uk, jm103{at}doc.ic.ac.uk, apgs{at}doc.ic.ac.uk, ajs300m{at}doc.ic.ac.uk} |
| |
| Abstract: | Pandora is a tool for supporting the learning of first ordernatural deduction. It includes a help window, an interactivecontext sensitive tutorial known as the "e-tutor" and facilitiesto save, reload and export to LATEX. Every attempt to applya natural deduction rule is met with either success or a helpfulerror message, providing the student with instant feedback.Detailed electronic logs of student usage are recorded for evaluationpurposes. This paper describes the basic functionality, thee-tutor, our experiences of using the tool in teaching and ourfuture plans. |
| |
| Keywords: | natural deduction Fitch box proof first order logic predicate logic teaching learning e-learning reasoning about programs |
| 本文献已被 Oxford 等数据库收录！ |
|
