Sökning: "axiomatization"

Visar resultat 1 - 5 av 7 avhandlingar innehållade ordet axiomatization.

  1. 1. On axioms and images in the history of Mathematics

    Författare :Johanna Pejlare; Gunnar Berg; Leo Corry; Anders Öberg; Göteborgs universitet; Göteborgs universitet; Gothenburg University; []
    Nyckelord :SAMHÄLLSVETENSKAP; HUMANIORA; SOCIAL SCIENCES; HUMANITIES; History of mathematics; axiomatization; intuition; visualization; images; Euclidean geometry; history of mathematics; euclidean geometry; matematikhistoria; MATHEMATICS; MATEMATIK;

    Sammanfattning : This dissertation deals with aspects of axiomatization, intuition and visualization in the history of mathematics. Particular focus is put on the end of the 19th century, before David Hilbert's (1862–1943) work on the axiomatization of Euclidean geometry. The thesis consists of three papers. LÄS MER

  2. 2. Logics of Knowledge and Cryptography : Completeness and Expressiveness

    Författare :Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; epistemic logic; first-order logic; formal cryptography; static equivalence; security protocols; BAN logic; multi-agent system; completeness; logical omniscience problem; Computer science; Datavetenskap;

    Sammanfattning : An understanding of cryptographic protocols requires that we examine the knowledge of protocol participants and adversaries: When a participant receives a message, does she know who sent it? Does she know that the message is fresh, and not merely a replay of some old message? Does a network spy know who is talking to whom? This thesis studies logics of knowledge and cryptography. Specifically, the thesis addresses the problem of how to make the concept of knowledge reflect feasible computability within a Kripke-style semantics. LÄS MER

  3. 3. Deductive Program Analysis with First-Order Theorem Provers

    Författare :Simon Robillard; Chalmers University of Technology; []
    Nyckelord :NATURVETENSKAP; TEKNIK OCH TEKNOLOGIER; HUMANIORA; NATURAL SCIENCES; ENGINEERING AND TECHNOLOGY; HUMANITIES; Automated theorem proving; Program semantics; Program Verification; Program analysis; Automated reasoning; First-order logic;

    Sammanfattning : Software is ubiquitous in nearly all aspects of human life, including safety-critical activities. It is therefore crucial to analyze programs and provide strong guarantees that they perform as expected. LÄS MER

  4. 4. Transformative Decision Rules : Foundations and Applications

    Författare :Martin Peterson; KTH; []
    Nyckelord :HUMANITIES; HUMANIORA; HUMANIORA; HUMANITIES; transformative decision rule; problem specification; framing; expected utility; decision theory; Philosophy subjects; Filosofiämnen;

    Sammanfattning : A transformative decision rule alters the representation of a decisionproblem, either by changing the sets of acts and states taken intoconsideration, or by modifying the probability or value assignments.Examples of decision rules belonging to this class are the principleof insufficient reason, Isaac Levi’s condition of E-admissibility, Luceand Raiffa’s merger of states-rule, and the de minimis principle. LÄS MER

  5. 5. Topics in Cooperative Game Theory

    Författare :Sofia Grahn; William Thomson; Uppsala universitet; []
    Nyckelord :SOCIAL SCIENCES; SAMHÄLLSVETENSKAP; SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Economics; Nationalekonomi; Economics; Nationalekonomi; nationalekonomi; Economics;

    Sammanfattning : Essay 1: A class of cooperative games arising from shortest path problems is defined. These shortest path games are shown to be totally balanced and allow a population-monotonic allocation scheme. LÄS MER