| dc.contributor.advisor | Menšík, Marek | cs |
| dc.contributor.author | Daníšek, Radek | cs |
| dc.date.accessioned | 2011-10-19T07:10:20Z | |
| dc.date.available | 2011-10-19T07:10:20Z | |
| dc.date.issued | 2011 | cs |
| dc.identifier.other | OSD002 | cs |
| dc.identifier.uri | http://hdl.handle.net/10084/89521 | |
| dc.description | Import 19/10/2011 | cs |
| dc.description.abstract | Obsahem diplomové práce je vytvoření e-learningového systému, který studenty interaktivně vyučuje problematice obecné rezoluční metody a ověřuje také jejich znalosti. Systém kontroluje každý krok studenta a na základě požadavku je schopen i napovídat, jaký další krok má student udělat. Mimo vytvořený systém tato diplomová práce obsahuje také souhrn teorie predikátové logiky prvního řádu (PL1) související s touto problematikou a souhrn syntaktických důkazových metod v predikátové logice prvního řádu. | cs |
| dc.description.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. | en |
| dc.format.extent | 717882 bytes | cs |
| dc.format.mimetype | application/pdf | cs |
| dc.language.iso | cs | cs |
| dc.publisher | Vysoká škola báňská - Technická univerzita Ostrava | cs |
| dc.subject | distributivní zákony, existenční uzávěr, extrakce literálů, formule, funkce, gramatika, instnace, klausule, konstanta, kontrola, kvantifikátor, logická spojka, nápověda, negace, PL1, proměnná, rezoluce, řetězcová struktura formule, speciální znaky, skolemizace, stromová struktura formule, syntaktická analýza, třída, unifikace, vnitřní znaky. | cs |
| dc.subject | 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. | en |
| dc.title | E-learningová podpora výuky obecné rezoluční metody. | cs |
| dc.title.alternative | E-learning Support for General Resolution Method | en |
| dc.type | Diplomová práce | cs |
| dc.contributor.referee | Číhalová, Martina | cs |
| dc.date.accepted | 2011-06-08 | cs |
| dc.thesis.degree-name | Ing. | cs |
| dc.thesis.degree-level | Magisterský studijní program | cs |
| dc.thesis.degree-grantor | Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky | cs |
| dc.description.department | 460 - Katedra informatiky | cs |
| dc.thesis.degree-program | Informační a komunikační technologie | cs |
| dc.thesis.degree-branch | Informatika a výpočetní technika | cs |
| dc.description.result | dobře | cs |
| dc.identifier.sender | S2724 | cs |
| dc.identifier.thesis | DAN175_FEI_N2647_2612T025_2011 | |
| dc.rights.access | openAccess | |