Nástroj pro modelování interpretačních struktur v PL1

Vladimír Matějičný

Diplomová práce

Interpretation Structure Modeler for FOL

Anotace:

Obsahem této diplomové práce je analýza a návrh systému pro podporu výuky předmětu Matematická logika. Vytvářený systém se bude týkat problematiky 3D vizualizace úlohy na hledání modelu množiny formulí v predikátové logice prvního řádu a modelování důležitých vlastností relací. Nástroj bude také obsahovat nápovědu pro vytvoření modelu množiny. V první části práce, je čtenář seznámen s teoretickými základy z dané oblasti, na které plynule navazuje specifikace požadavků na nový systém. Dále je text práce zaměřen především na analýzu a návrh jednotlivých částí systému, která je doplněna o třídní a sekvenční diagramy UML.

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.

Klíčová slova

Predikátová logika, sémantika, formule, interpretační struktura, model, splintelnost, pravdovostní hodnota, predikát, kvantifikátor, funkce, konstanta, množina, orientovaný graf, uzel, hrana, relace, parser, lexikální analýza, syntaktická analýza

Keywords

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

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 7. 5. 2013

Obhajoba závěrečné práce

• Obhajoba proběhla 9. 6. 2014
• Vedoucí: Martina Číhalová
• Oponent: Marek Menšík

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika