Open AccessFriendly e-tutor for Natural Deduction
Author(s) -
Krysia Broda,
Jiefei Ma,
Gabrielle Sinnadurai,
Alex Summers
Publication year - 2006
Publication title -
electronic workshops in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/tfm2006.2
Subject(s) - tutor , computer science , natural (archaeology) , context (archaeology) , instant , natural deduction , window (computing) , human–computer interaction , multimedia , artificial intelligence , programming language , world wide web , paleontology , physics , archaeology , quantum mechanics , biology , history
Pandora is a tool to support the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the "e-tutor" and facilities to save, reload and export to LATEX. Every attempt to apply a natural deduction rule is met with either success or a helpful error message, providing the student with instant feedback. This paper describes the e-tutor and our experiences of using the tool in teaching.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom