Sökning: "Logik"

Visar resultat 1 - 5 av 210 avhandlingar innehållade ordet Logik.

  1. 1. Organiseringens logik : en studie av kommunal näringslivspolitik

    Författare :Anders Söderholm; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; municipal industrial policy; social action theory; organizing; action- processes; action-patterns; logic of action; environment focusing; individual interpretation;

    Sammanfattning : How are the processes of shaping and developing municipal industrial policies built up over time? With this basic question as the starting point, this study deals with the complex every-day life of the industrial policy makers. Policy making is believed to be constituted by actions linked together by the participants' definitions and attitudes. LÄS MER

  3. 2. Gymkulturens logik : Om samverkan mellan kropp, gym och samhälle

    Författare :Tor Söderström; Umeå universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; body; gyms; modern society; consumer culture;

    Sammanfattning : The purpose of this thesis is to deal with gym culture, specifically what happens at a gym, how the interplay between gyms, body and society is to be understood. The collection of data required for the thesis took place in two different gyms, and in all 62 observations were made and 974 questionnaires were filled in by gym visitors. LÄS MER

  4. 3. Contributions to Pointfree Topology and Apartness Spaces

    Författare :Anton Hedin; Erik Palmgren; Viggo Stoltenberg-Hansen; Peter Schuster; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Constructive mathematics; General topology; Pointfree topology; Domain theory; Interval analysis; Apartness spaces; Mathematical logic; Matematisk logik; Mathematical Logic; Matematisk logik;

    Sammanfattning : The work in this thesis contains some contributions to constructive point-free topology and the theory of apartness spaces. The first two papers deal with constructive domain theory using formal topology. LÄS MER

  5. 4. On Constructive Sets and Partial Structures

    Författare :Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematical Logic; Matematisk logik;

    Sammanfattning : The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. LÄS MER

  7. 5. Säkerhetsstyrningens kulturella logik : ett organisatoriskt perspektiv på sjösäkerhet

    Författare :Bengt-Erik Stenmark; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Teknisk psykologi; Engineering Psychology;

    Sammanfattning : Multinational cross-cultural manning of merchant ships is not a new element in shipping. Today, however, the phenomenon, is common and takes place under other economic auspices than before. The situation has led to various solutions. LÄS MER