E-learningová podpora výuky obecné rezoluční metody. – Radek Daníšek
Radek Daníšek
Master's thesis
E-learningová podpora výuky obecné rezoluční metody.
E-learning Support for General Resolution Method
Anotácia:
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í …viacAbstract:
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 …viacKľúčové slová
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.Keywords
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.
Jazyk práce: Czech
Datum vytvoření / odevzdání či podání práce: 6. 5. 2011
Identifikátor:
http://hdl.handle.net/10084/89521
Obhajoba závěrečné práce
- Obhajoba proběhla 8. 6. 2011
- Vedúci: Marek Menšík
- Oponent: Martina Číhalová
Citační záznam
Citace dle ISO 690:
DANÍŠEK, Radek. \textit{E-learningová podpora výuky obecné rezoluční metody.}. Online. Diplomová práca. Ostrava: Vysoká škola báňská - Technická univerzita Ostrava, Fakulta elektrotechniky a informatiky. 2011. Dostupné z: https://theses.cz/id/f2akym/.
Plný text práce
Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita OstravaVŠB - Technical University of Ostrava
Fakulta elektrotechniky a informatikyMaster programme / odbor:
Informační a komunikační technologie / Informatika a výpočetní technika