Avancerad sökning
Hittade 2 uppsatser som matchar ovanstående sökkriterier.
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)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
2. Proof Editor for Natural Deduction in First-order Logic
Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : 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