Essays about: "Jonatan Källman"

Found 1 essay containing the words Jonatan Källman.

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

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

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

    Abstract : Logical reasoning plays an important role in human behaviour and is widely used in everyday life. It is incorporated in contexts such as natural languages, mathematics and programming. However, the general knowledge in today’s society with regards to formal logic is lacking and does not reflect the important role it plays. READ MORE