Sökning: "Jan Fredrik Olsson"

Hittade 2 uppsatser innehållade orden Jan Fredrik Olsson.

1. 1. Olydnad som motstånd : Utomparlamentariska rörelsers rättsliga strategier och verktyg för hållbar aktivism

   Kandidat-uppsats, Karlstads universitet/Institutionen för sociala och psykologiska studier (from 2013)

   Författare :Fredrik Olsson; [2018]
   Nyckelord :Civil olydnad; rättssociologi; juridik; sociologi; legalstrategier; rättspluralism; normativ reglering; utomparlamentariska metoder;

   Sammanfattning : The study aims to investigate how activists using civil disobedience strategically use the legal system to legitimize and raise awareness of their causes. The study will also examine how individual activists are affected and how they create long-term and sustainable activism. LÄS MER

3. 2. Proof Editor for Natural Deduction in First-order Logic

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

   Författare :Jesper Jan Olsson Fredrik Liu Elin Johansson Henry Björnsson Ly; Andreas Widbom; [2017-08-10]
   Nyckelord :Proof editor; First-order logic; Predicate logic; Natural deduction;

   Sammanfattning : The subject of this thesis is the presentation and evaluation of Conan, an editor for writing natural deduction proofs in first-order logic. The intent is for the editor to serve as a supplementary tool alongside a course in logic. LÄS MER