Proof Editor for Natural Deduction in First-order Logic The Evaluation of an Educational Aiding Tool for Students Learning Logic

Examensarbete för kandidatexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/251213
Download file(s):
File Description SizeFormat 
251213.pdfFulltext1.09 MBAdobe PDFView/Open
Type: Examensarbete för kandidatexamen
Bachelor Thesis
Title: Proof Editor for Natural Deduction in First-order Logic The Evaluation of an Educational Aiding Tool for Students Learning Logic
Authors: Björnsson, Elin
Johansson, Fredrik
Liu, Jan
Olsson, Jesper
Ly, Henry
Widbom, Andreas
Abstract: The subject of this thesis is the presentation and evaluation of Conan, an editor for writing natural deduction proofs in first-order logic. The intent is for the editor to serve as a supplementary tool alongside a course in logic. For this reason, emphasis was put on making sure the editor would have a low learning curve, ensuring that learning to use it would not take away from the limited time in a typical university course. Though editors for writing this kind of proof already exist, they are often cumbersome or difficult to use. A pre-study was conducted to determine that there is indeed a lack of editors that fulfil the requirements set forth in this thesis. The interface of Conan was evaluated both heuristically using Jakob Nielsen’s heuristics and also through limited user tests. This evaluation suggested that the interface was easy to use, quick to learn and that students were positive toward using the editor for writing proofs. We also present arguments for why Conan would be an aid from the perspective of pedagogy, though no in-depth research on this matter was conducted.
Keywords: Data- och informationsvetenskap;Computer and Information Science
Issue Date: 2017
Publisher: Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)
Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers)
URI: https://hdl.handle.net/20.500.12380/251213
Collection:Examensarbeten för kandidatexamen // Bachelor Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.