Komponenta výukového serveru TI - Predikátová logika

Abstract

The goal of this master's thesis is to create a web application focused on working with first-order logic formulas. The application should be able to syntactically analyze strings in order to find out if they are first-order logic formulas, create parse trees from formulas, transform formulas into the prenex normal form and evaluate formulas' truth values based on interpretations. In the master's thesis, there is described the theory related to these operations, technologies used for developing the application and also its implementation.