1,115
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Friendly e-tutor for Natural Deduction

      Published
      proceedings-article
      , , ,
      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
      Bookmark

            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.

            Content

            Author and article information

            Contributors
            Conference
            December 2006
            December 2006
            : 1-6
            Affiliations
            [0001]Department of Computing, Imperial College London
            Article
            10.14236/ewic/TFM2006.2
            2c852377-0dc1-4026-a5d9-b2cf1f4e5c1f
            © 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
            History
            Product

            1477-9358 BCS 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/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            learning,Fitch box proof,teaching,first order logic,predicate logic,e-learning,natural deduction

            Comments

            Comment on this article