Proof Editor for Natural Deduction

Detta är en Kandidat-uppsats från Göteborgs universitet/Institutionen för data- och informationsteknik

Sammanfattning: In this thesis, we present Logan, a proof editor for constructing Fitch-style proofsin first-order logic. This proof editor is intended to be used by students who aretaking a course in logic. Compared to other available proof editors Logan aims to beeasier to use, both when it comes to getting started and in the continued use of theproof editor. Logan also aims to be more helpful by giving feedback and hints toaid the students in their learning. User testing was conducted on a small samplesize of students to evaluate Logan from a usability and user experience perspectiveto find potential issues. As a result, some usability problems were identified andremedied. The plan is to introduce Logan as a tool in the next instance of thecourse DAT060/DIT202 Logic in computer science at University of Gothenburg andChalmers University of Technology. If realized, the deployment of Logan can be seenas 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.

  HÄR KAN DU HÄMTA UPPSATSEN I FULLTEXT. (följ länken till nästa sida)