Nástroj pro podporu výuky sémantiky PL1

Abstract

Tato práce má za úkol vytvořit program pro podporu studia Predikátové logiky prvního řádu. Na úvod se snaží popsat daný jazyk a seznámit čtenáře s potřebnou teorii, která je v této práci použita. Dále pak poskytuje čtenáři podrobný popis postupu na tvorbu gramaticky správných vět, které pak mohou být použity v příkladech na testování studentů. V poslední části této práce je popsán celý systém a jeho části.

The objective of this thesis is to create a programme providing support in First-order logic learning. The first part deals with the description of the language and introduces the necessary theoretical background. The next section offers a detailed description of the method of creation of grammatically correct sentences, which may be used in testing exercises. The last section deals with the description of the system and its subsections.