Sökning: "logic"

Visar resultat 1 - 5 av 1505 uppsatser innehållade ordet logic.

  1. 1. Accounting and Sport in a Crisis - Give Sense to Keep Racing?

    D-uppsats, Handelshögskolan i Stockholm/Institutionen för redovisning och finansiering

    Författare :Fanny Almersson; Johanna Sand; [2021]
    Nyckelord :Budgeting; Sensemaking; Sensegiving; Covid-19; Sports Organization;

    Sammanfattning : This study aims to explore how the budget is implicated in the process of how organizational members in a sports organization make sense during a crisis. By using the lens of sensemaking theory, an explanatory single case study has been conducted in the Swedish organization RunningCo during the Covid-19 pandemic. LÄS MER

  3. 2. Spira: A language for prototyping grid board games with linear logic in Haskell

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

    Författare :Nicke Carlsson; Simon Edvardsson; Oskar Grekula; Erik Ljungdahl; Jennie Zhou; [2020-10-30]
    Nyckelord :;

    Sammanfattning : This project explores the process of creating a board game model andintroduces a new high level domain-specific language called Spira thatspecialises in prototyping grid board games. Spira is a DSL, embedded inHaskell, that generates Ceptre code. LÄS MER

  4. 3. Constructing a Game Modelled After Logic and Proofs - Tenjin: A Smartphone Game

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

    Författare :Elias Burström; Jonatan Källman; Tuyen Ngo; Felix Nordén; [2020-10-29]
    Nyckelord :user experience; graphic design; software engineering; software development; classical propositional logic; sequent calculus;

    Sammanfattning : Logical reasoning plays an important role in human behaviour and is widely used ineveryday life. It is incorporated in contexts such as natural languages, mathematics andprogramming. However, the general knowledge in today’s society with regards to formallogic is lacking and does not reflect the important role it plays. LÄS MER

  5. 4. Challenges of Service User Participation in Human Service Organisations: A Case Study in a Swedish Charity Organisation

    Magister-uppsats, Göteborgs universitet/Institutionen för socialt arbete

    Författare :Monika Larsson; [2020-10-19]
    Nyckelord :Service user participation; human service organisations; moral work; isomorphism; and institutional logics;

    Sammanfattning : This report aims to explore the failures of service user participation initiatives in human service organisations. Despite the positive portrayals of service user participation and goals towards implementation, often times putting it into practice may fail. LÄS MER

  7. 5. On the Reduction of Quantum Teams

    Master-uppsats, Göteborgs universitet/Institutionen för filosofi, lingvistikoch vetenskapsteori

    Författare :Jelle Tjeerd Fokkens; [2020-09-04]
    Nyckelord :Quantum Team Logic; Logical Bell inequalities; Quantum contextuality; Dependence logic; Quantum entanglement;

    Sammanfattning : In this thesis, a reduction procedure on quantum teams is defined. Physically, this reduction procedure can be seen as an attempt to describe the measurement results of a certain (quantum mechanics) experiment purely classically, i.e. with hidden variables. LÄS MER