Avancerad sökning

Hittade 2 uppsatser som matchar ovanstående sökkriterier.

1. 1. Proof Editor for Natural Deduction

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :FREDDY ABRAHAMSSON; THERESE ANDERSSON; AXEL FORSMAN; LO RANTA; MICHAEL ÅKESSON; [2021-09-14]
   Nyckelord :Proof editor; Natural deduction; First order logic; PureScript;

   Sammanfattning : In 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. LÄS MER

3. 2. Functional Programming and Legacy Software Using PureScript to Extend a Legacy JavaScript System

   Master-uppsats, Umeå universitet/Institutionen för datavetenskap

   Författare :Christian Fischer; [2018]
   Nyckelord :;

   Sammanfattning : Legacy systems are everywhere. Immense resources are placed on fixing problems caused by them, and on legacy system maintenance and reverse engineering. After decades of research, a solution has yet to be found. LÄS MER