Essays about: "freddy andersson"

Found 2 essays containing the words freddy andersson.

  1. 1. Proof Editor for Natural Deduction

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

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

    Abstract : 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. READ MORE

  3. 2. Engaging the Workforce with Performance Measures. Discussing the effect of the dark side of goal-setting at the factory floor

    University essay from Göteborgs universitet/Graduate School

    Author : Freddy Andersson; [2015-07-13]
    Keywords : Goal-setting; performance management; performance measures; performance indicators; Strategy As Practice; Critical Discourse Analysis;

    Abstract : Abstract Most large companies are greatly challenged to succeed at designing performance management systems that support employees in their strategic work. This study uses a qualitative approach and the framework of Strategy As Practice and a Critical Discourse Analysis, to study one manufacturing plant´s efforts to make their employees more dedicated to improving the performance of their daily operations. READ MORE