Proof Editor for Natural Deduction

dc.contributor.authorABRAHAMSSON, FREDDY
dc.contributor.authorANDERSSON, THERESE
dc.contributor.authorFORSMAN, AXEL
dc.contributor.authorRANTA, LO
dc.contributor.authorÃ…KESSON, MICHAEL
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data och informationstekniksv
dc.contributor.examinerCoquand, Thierry
dc.contributor.supervisorBove, Ana
dc.date.accessioned2021-09-14T08:16:36Z
dc.date.available2021-09-14T08:16:36Z
dc.date.issued2021sv
dc.date.submitted2020
dc.description.abstractIn this thesis, we present Logan, a proof editor for constructing Fitch-style proofs in first-order logic. This proof editor is intended to be used by students who are taking a course in logic. Compared to other available proof editors Logan aims to be easier to use, both when it comes to getting started and in the continued use of the proof editor. Logan also aims to be more helpful by giving feedback and hints to aid the students in their learning. User testing was conducted on a small sample size of students to evaluate Logan from a usability and user experience perspective to find potential issues. As a result, some usability problems were identified and remedied. The plan is to introduce Logan as a tool in the next instance of the course DAT060/DIT202 Logic in computer science at University of Gothenburg and Chalmers University of Technology. If realized, the deployment of Logan can be seen as beta-testing on a larger sample size of students than the conducted user testing. Thus potential missed bugs can be identified and fixed in future development of Logan.sv
dc.identifier.coursecodeN1COSsv
dc.identifier.urihttps://hdl.handle.net/20.500.12380/304114
dc.language.isoengsv
dc.setspec.uppsokTechnology
dc.subjectProof editorsv
dc.subjectNatural deductionsv
dc.subjectFirst order logicsv
dc.subjectPureScriptsv
dc.titleProof Editor for Natural Deductionsv
dc.type.degreeExamensarbete på kandidatnivåsv
dc.type.uppsokM2
Ladda ner
Original bundle
Visar 1 - 1 av 1
Hämtar...
Bild (thumbnail)
Namn:
CSE 21-17 Group 16.pdf
Storlek:
983.18 KB
Format:
Adobe Portable Document Format
Beskrivning:
License bundle
Visar 1 - 1 av 1
Hämtar...
Bild (thumbnail)
Namn:
license.txt
Storlek:
1.51 KB
Format:
Item-specific license agreed upon to submission
Beskrivning: