Friendly e-tutor for Natural Deduction

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.

Content

Author and article information

Contributors

Krysia Broda

Jiefei Ma

Gabrielle Sinnadurai

Alex Summers

Conference

Publication date: December 2006

Publication date (Print): December 2006

Pages: 1-6

Affiliations

[0001]Department of Computing, Imperial College London

Article

DOI: 10.14236/ewic/TFM2006.2

SO-VID: 2c852377-0dc1-4026-a5d9-b2cf1f4e5c1f

Copyright statement: © Krysia Broda et al. Published by BCS Learning and Development Ltd. Teaching Formal Methods: Practice and Experience, BCS London Office, UK

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Teaching Formal Methods: Practice and Experience

Conference acronym: TFM

Conference number:

Conference location: BCS London Office, UK

Conference date: 15 December 2006

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Teaching Formal Methods: Practice and Experience

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/TFM2006.2

Self URI (journal page): https://ewic.bcs.org/

Friendly e-tutor for Natural Deduction

Abstract