Generování vzorů formulí pro skolemizaci
Loading...
Downloads
7
Date issued
Authors
Janáček, Marek
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská - Technická univerzita Ostrava
Location
Signature
Abstract
The content of this thesis is the analysis of skolemization of formulas of first order predicate logic language in terms of difficulty for students. Difficulty of the task is structured and explicitly described by the string of complexity. The thesis deals also with the analysis, design and implementation of a system that is given a PL1 formula and returns the string of complexity for that formula. The last and most important object of this thesis is the analysis, design and implementation of a system that generates formula patterns based on given string of complexity. The system also allows you to create concrete tasks, so it can be used to create examples for exercising and exams in course Mathematical Logic.
Description
Import 11/07/2012
Subject(s)
Predicate logic, skolemization, string of complexity ,pattern, formula, grammar, syntactic tree, literal, predicate, quantifier, junction, negation, conjunction, disjunction, implication, equivalence, variable, function, constant, hierarchical order, parsing, lexical analysis, generation