Blog
About

127
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Friendly e-tutor for Natural Deduction

      , , ,

      Teaching Formal Methods: Practice and Experience (TFM)

      Teaching Formal Methods: Practice and Experience

      15 December 2006

      natural deduction, Fitch box proof, first order logic, predicate logic, teaching, learning, e-learning

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          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.

          Related collections

          Author and article information

          Contributors
          Conference
          December 2006
          December 2006
          : 1-6
          Affiliations
          Department of Computing, Imperial College London
          Article
          10.14236/ewic/TFM2006.2
          © Krysia Broda et al. Published by BCS Learning and Development Ltd. Teaching Formal Methods: Practice and Experience, BCS London Office, UK

          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/

          Teaching Formal Methods: Practice and Experience
          TFM
          BCS London Office, UK
          15 December 2006
          Electronic Workshops in Computing (eWiC)
          Teaching Formal Methods: Practice and Experience
          Product
          Product Information: 1477-9358BCS Learning & Development
          Self URI (journal page): https://ewic.bcs.org/
          Categories
          Electronic Workshops in Computing

          Comments

          Comment on this article