Sökning: "First-order logic"

Visar resultat 1 - 5 av 13 uppsatser innehållade orden First-order logic.

  1. 1. Formal model of eligibility requirements for the Department of Computing Science

    Kandidat-uppsats, Umeå universitet/Institutionen för datavetenskap

    Författare :Jonathan Sundqvist; [2023]
    Nyckelord :;

    Sammanfattning : This paper aims to formally model the eligibility requirements for the Department of Computing Science at Umea University. As of now, the requirements are written in plain text resulting in students or lecturers having to evaluate these manually. Eligibility requirements can be built complex which makes it difficult to handle manually. LÄS MER

  3. 2. Abstract Logics and Lindström's Theorem

    Kandidat-uppsats, Uppsala universitet/Algebra, logik och representationsteori

    Författare :Niclas Bengtsson; [2023]
    Nyckelord :model theory; abstract model theory; logic; mathematical logic; abstract logic; Lindström s Theorem; infinitary logics; strength of logics; cardinality quantifiers; modellteori; abstrakt modellteori; logik; matematisk logik; abstrakt logik; Lindströms sats;

    Sammanfattning : A definition of abstract logic is presented. This is used to explore and compare some abstract logics, such as logics with generalised quantifiers and infinitary logics, and their properties. Special focus is given to the properties of completeness, compactness, and the Löwenheim-Skolem property. LÄS MER

  4. 3. Proof Editor for Natural Deduction

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :FREDDY ABRAHAMSSON; THERESE ANDERSSON; AXEL FORSMAN; LO RANTA; MICHAEL ÅKESSON; [2021-09-14]
    Nyckelord :Proof editor; Natural deduction; First order logic; PureScript;

    Sammanfattning : In this thesis, we present Logan, a proof editor for constructing Fitch-style proofs in first-order logic. This proof editor is intended to be used by students who are taking a course in logic. LÄS MER

  5. 4. Mahan in a New Millennium

    Master-uppsats, Försvarshögskolan

    Författare :Peter Thomsson; [2020]
    Nyckelord :Seapower; naval strategy; maritime strategy; Mahan; event study;

    Sammanfattning : In 1890, the American naval officer and scholar Alfred Thayer Mahan formulated as a theory that seapower brings prosperity. This thesis in War Science tests whether Mahan’s theory remains valid in the modern day. A multi-disciplinary approach is taken, wherein a financial event study method is employed for hypothesis testing. LÄS MER

  7. 5. Combining Inlining and Contracting for Human Efficient Deductive Verification

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Erik Söderberg; [2019]
    Nyckelord :;

    Sammanfattning : A function is functionally correct when it behaves according to a specification that describes its input-output behaviour. With deductive verification, it is possible to prove whether a function conforms to its specification or not. LÄS MER