Sökning: "Christian Schlyter"

Hittade 1 uppsats innehållade orden Christian Schlyter.

  1. 1. 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