Sökning: "Jan Henry Johansson"

Hittade 2 uppsatser innehållade orden Jan Henry Johansson.

1. 1. 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

3. 2. Människor och offentliga rum : inom norrcity i Örebro

   Magister-uppsats, Blekinge Tekniska Högskola/Sektionen för teknokultur, humaniora och samhällsbyggnad

   Författare :Helena Johansson; [2008]
   Nyckelord :Människor och offentliga rum ;

   Sammanfattning : Sammanfattning Stadens offentliga rum är en viktig arena för stadslivet. Detta påstående har varit utgångspunkten för att undersöka de fysiska förutsättningarna i stadsrummet och vad de har för betydelse för mötet mellan människor. LÄS MER