Nástroj pro modelování interpretačních struktur v PL1
Loading...
Downloads
2
Date issued
Authors
Matějičný, Vladimír
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská - Technická univerzita Ostrava
Location
Signature
Abstract
The goal of this thesis is to Provide design and analysis of a new system, which could then be used as a teaching tool in subject called Mathematical Logic. The new system will consist of two main parts. The first part will be dealing with the problem of 3D visualization of formula set models. The second part will include an environment for modeling important properties of relations. Our system will also include an aid for creating formula set models. In the first part of the thesis we focus on theoretical background and requirement specification for the new system. Following parts ot the thesis are mainly focused on analysis and design of individual system parts, accompanied with class and sequence UML diagrams.
Description
Import 05/08/2014
Subject(s)
Predicate logic, semantics, formula, interpretation structure, model, satisfiability, truth value, predicate, quantificator, function, constant, set, oriented graph, node, edge, relation, parser, lexical analysis, syntactic analysis