3D vizualizace modelů v PL1

Abstract

First-order logic is now days used in many fields in mathematics, philosophy or artificial intelligence. The problem is that there is not enough quality educational software. The main goal of this thesis is to create an application capable of simply and clearly teaching students basics of first-order logic. The beginning of this paper is dedicated to semantics of first-order logic and defining the subset of formulas which we are going to work with. But the main goal is to describe created application on conceptual level. We will go through main functionality, basic algorithms and design of main parts of the application by means of the UML language. The results of this paper will be used in project CZ.1.07/2.2.00/07.0217. Because of this all of the algorithms are described in pseudocode.