Essays about: "Jan Olsson"

Showing result 1 - 5 of 6 essays containing the words Jan Olsson.

  1. 1. Proof Editor for Natural Deduction in First-order Logic

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

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

    Abstract : 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. READ MORE

  3. 2. Vardagslivet i det offentliga rummet : idéförslag för utformning av en busshållplats

    University essay from SLU/Dept. of Urban and Rural Development

    Author : Jenny Fält; Matilda Olsson; [2014]
    Keywords : busshållplats; mötesplats; offentligt rum; sinnesstimulans; upplevelser;

    Abstract : Denna uppsats syftar till att, utifrån kunskaper om det offentliga rummet och människors användning av det, ge idéförslag till utformning av en busshållplats vid Stadshuset i centrala Uppsala. Meningen är att designen ska stimulera till fler upplevelser i människors vardag. READ MORE

  4. 3. Oppeby torg då, nu och sedan : att utveckla och förnya ett 1950-talstorg i Nyköping

    University essay from SLU/Dept. of Urban and Rural Development

    Author : Ulrika Svensson; [2012]
    Keywords : Oppeby; torg; Nyköping; förortstorg; program 50-tal; 60-tal; förort; grannskapsplanering; stadsdelsförnyelse;

    Abstract : Det här examensarbetet på 30 hp är utfört vid institutionen för stad och land, SLU Ultuna. Examensarbetet handlar om Oppeby torg i Nyköping för vilket jag har tagit fram ett program. Ett program innehåller råd och riktlinjer för hur en miljö kan utvecklas och kan användas som underlag vid en eventuell upprustning av torget. READ MORE

  5. 4. A crucial watershed in Southern Rhodesian politics : The 1961 Constitutional process and the 1962 General Election

    University essay from Institutionen för humaniora och samhällsvetenskap

    Author : Jan Olsson; [2011]
    Keywords : constitutionalism; democracy; settler state; Southern Rhodesia; unilateral declaration of independence;

    Abstract : The thesis examines the political development in Southern Rhodesia 1960-1962 when two processes, the 1961 Constitutional process and the 1962 General Election, had far-reaching consequences for the coming twenty years. It builds on a hypothesis that the Constitutional process led to a radicalisation of all groups, the white minority, the African majority and the colonial power. READ MORE

  6. 5. The 3:12-rules : A qualitative research about the new 3:12-rules and their possible consequences for close company owners

    University essay from Fakulteten för ekonomi, kommunikation och IT

    Author : Erik Olsson; Charlotte du Puy; [2006]
    Keywords : Accounting;

    Abstract : The purpose of this thesis was to elucidate the changes concerning the 3:12-rules. We wanted to find the possible effects of the reform and who the winners and the losers might be. We also wanted to examine whether or not the reform is a step towards a better company climate. The 3:12-rules and the reform formed a basis for our theory part. READ MORE