Sökning: "logical form"

Visar resultat 21 - 25 av 71 avhandlingar innehållade orden logical form.

  1. 21. Kritiskt tänkande som utbildningsmål : Från modernistisk filosofi till policy för högre utbildning

    Författare :Leo Berglund; Eva Forsberg; Sverker Lundin; Joakim Landahl; Uppsala universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; critical thinking; higher education; pedagogical paradox; contradictions; Boltanski; Pedagogik; Education;

    Sammanfattning : The goal of critical thinking in higher education is paradoxical, since it implies a form of education that both directs the student towards a pre-defined goal, and commands the student to be autonomous. This paradox is studied in four contexts, as to investigate what pedagogical contradictions the goal of critical thinking generates, and how they transform pedagogical thinking. LÄS MER

  3. 22. General Recursion in Type Theory

    Författare :Ana Bove; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis deals with the use of constructive type theory as a programming language. In particular, it presents a method to translate general recursive functional programs into their type-theoretic equivalents. A key notion in functional programming is recursion, which allows that the object being defined refers to itself. LÄS MER

  4. 23. Non-conformal gauge/string duality : A rigorous case study

    Författare :Xinyi Chen-Lin; Konstantin Zarembo; Jorge Russo; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; AdS CFT correspondence; holographic principle; supersymmetric localization; Wilson Loops; Theoretical Physics; Teoretisk fysik;

    Sammanfattning : The gauge/string duality, a.k.a. the holographic principle is a profound assertion that emerged from string theory. LÄS MER

  5. 24. Nödvändighetens väg : Världsbildande gränsarbete i skildringar av informationssamhället

    Författare :Stefan Karlsson; Gerd Lindgren; Göran Sundqvist; Karlstads universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Ideology; Boundary Work; World View; Information Society; Technocracy; Sociology; Sociologi; Sociologi; Sociology;

    Sammanfattning : This dissertation aims at describing the worldview and the ontological boundary work that descriptions of ”the information society” presuppose as well as understanding how these relate to technocratic descriptions of the world. The theoretical point of origin of this work is that worldviews are communicated, and that when this transpires, three worlds are related to (the objective, the social, and the subjective) which contain ideological components that make them plausible. LÄS MER

  7. 25. Analysing normative contracts : On the semantic gap between natural and formal languages

    Författare :John J. Camilleri; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; contract analysis; controlled natural language; formal methods; timed automata; model checking;

    Sammanfattning : Normative contracts are documents written in natural language, such as English or Swedish, which describe the permissions, obligations, and prohibitions of two or more parties over a set of actions, including descriptions of the penalties which must be payed when the main norms are violated. We encounter such texts frequently in our daily lives in the form of privacy policies, software licenses, and service agreements. LÄS MER