### Skapa referens, olika format (klipp och klistra)

**Harvard**

Björnsson, E., Johansson, F., Liu, J., Olsson, J., Ly, H. och Widbom, A. (2017) *Proof Editor for Natural Deduction in First-order Logic The Evaluation of an Educational Aiding Tool for Students Learning Logic*. Göteborg : Chalmers University of Technology

** BibTeX **

@misc{

Björnsson2017,

author={Björnsson, Elin and Johansson, Fredrik and Liu, Jan and Olsson, Jesper and Ly, Henry and Widbom, Andreas},

title={Proof Editor for Natural Deduction in First-order Logic The Evaluation of an Educational Aiding Tool for Students Learning Logic},

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.},

publisher={Institutionen för data- och informationsteknik (Chalmers), Chalmers tekniska högskola},

place={Göteborg},

year={2017},

keywords={Proof editor, First-order logic, Predicate logic, Natural deduction.},

note={79},

}

** RefWorks **

RT Generic

SR Electronic

ID 251213

A1 Björnsson, Elin

A1 Johansson, Fredrik

A1 Liu, Jan

A1 Olsson, Jesper

A1 Ly, Henry

A1 Widbom, Andreas

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

YR 2017

AB 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.

PB Institutionen för data- och informationsteknik (Chalmers), Chalmers tekniska högskola,PB Institutionen för data- och informationsteknik (Chalmers), Chalmers tekniska högskola,PB Institutionen för data- och informationsteknik (Chalmers), Chalmers tekniska högskola,PB Institutionen för data- och informationsteknik (Chalmers), Chalmers tekniska högskola,PB Institutionen för data- och informationsteknik (GU), Göteborgs universitet,PB Institutionen för data- och informationsteknik (GU), Göteborgs universitet,

LA eng

LK http://publications.lib.chalmers.se/records/fulltext/251213/251213.pdf

OL 30