E-learningová podpora výuky obecné rezoluční metody.
Loading...
Downloads
6
Date issued
Authors
Daníšek, Radek
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská - Technická univerzita Ostrava
Location
Signature
Abstract
Content of this diploma thesis includes the description of newly generated e-learning system, which interactively teaches students how to use general resolution method and also checks their knowledges. System checks each student´s step and is always able to help with next step in procedure of general resolution method. Except of newly generated system, the diploma thisis contains summary of Theory of first order predicate logic and summary of syntactic proof methods in first order predicate logic.
Description
Import 19/10/2011
Subject(s)
check, class, clause, constant, distributive laws, existential closure, formula, function, grammar, help, instance, internal characters, literal extraction, logical connective, negation, parsing, quantifier, skolemization, special characters, string structure of the formula, tree structure of the formula, unification, variable.