Sökning: "Predicate logic"

Hittade 4 uppsatser innehållade orden Predicate logic.

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

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

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

    Sammanfattning : 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. LÄS MER

  3. 2. Improving formal analysis of computerised rail traffic control systems using domain models

    Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

    Författare :Karin Ahlman; [2016]
    Nyckelord :;

    Sammanfattning : During the formal analysis of a computerized railway control system, it may be difficult to understand if a found counterexample to a requirement is a scenario which can happen in the real world or not. By putting sensible constraints on the inputs to the system, i.e. LÄS MER

  4. 3. Visualization of a finite first order logic model

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

    Författare :Christian Schlyter; [2013-10-17]
    Nyckelord :;

    Sammanfattning : Creating visualizations of nite rst order logic models can be very bene cial for users studying the models as it provides an additional aid for the user and makes it easier for the user to understand and comprehend the model. This thesis describes methods on how to visualize the di erent parts of the model, the domain, functions and predicates, and then combining them into a drawing for the user to look at. LÄS MER

  5. 4. Automatisk draggenerator för spel

    Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :ULF RUSTAS; [2013]
    Nyckelord :;

    Sammanfattning : Målet med detta exjobb var att undersöka hur man kan skapa en draggenerator för spel definierade i ett predikatlogiskt språk, GDL. Draggeneratorn är tänkt att fungera som ett verktyg för att förvandla spelregler till spelträd som i sin tur kan automatiskt avsökas och analyseras av program för automatisk klassificering eller spelande. LÄS MER