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

Abstract

Cieľom tejto diplomovej práce je vytvorenie webovej aplikácie zameranej na prácu s formulami predikátovej logiky. Aplikácia má byť schopná syntakticky analyzovať reťazce za účelom zistenia, či sa jedná o formule predikátovej logiky, vytvoriť z formúl syntaktické stromy, previesť formule do prenexovej normálnej formy a vyhodnotiť pravdivosti formúl na základe interpretácií. V diplomovej práci je popísaná teória súvisiaca s týmito operáciami, technológie použité pre vývoj aplikácie a taktiež aj jej samotná implementácia.

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.