Generování vět na základě vzorů

Abstract

Práce popisuje námi navrženou část sytému pro výuku studentů z Matematické logiky. Tento systém využívá námi navržený algoritmus, který ohodnocuje formuli v jazyce predikátové logiky prvního řádu slovy, která tvoří větu z náhodného vzoru, uloženého v databázi. Tato věta je poté studentem formalizována jako formule predikátové logiky prvního řádu a naším algoritmem vyhodnocena, zda jeho formalizace byla správná či nikoliv. Celá tato část systému je prezentována pomocí appletu. Kroky algoritmu můžeme popsat jako: 1) Syntaktická analýza, 2) budování derivačního stromu 3) porovnání stromů na isomorfismus.

This document is describing our designed part of system to teaching Mathematic logic. This system using our algorithm which evaluate formula in PL1 by words. This words are creating a sentence by random pattern which is saved in database. This sentence is formalized by student as PL1 formula and then decided by our algorithm if student’s formalization was right or not. Steps of our algorithm are: 1) Syntactic analyse, 2) derivation tree creating, 3) two trees comparing if they are isomorphism