E-learningová podpora výuky obecné rezoluční metody.

Daníšek, Radek

E-learningová podpora výuky obecné rezoluční metody.

dc.contributor.advisor	Menšík, Marek	cs
dc.contributor.author	Daníšek, Radek	cs
dc.contributor.referee	Číhalová, Martina	cs
dc.date.accepted	2011-06-08	cs
dc.date.accessioned	2011-10-19T07:10:20Z
dc.date.available	2011-10-19T07:10:20Z
dc.date.issued	2011	cs
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.description.department	460 - Katedra informatiky	cs
dc.description.result	dobře	cs
dc.format.extent	717882 bytes	cs
dc.format.mimetype	application/pdf	cs
dc.identifier.other	OSD002	cs
dc.identifier.sender	S2724	cs
dc.identifier.thesis	DAN175_FEI_N2647_2612T025_2011
dc.identifier.uri	http://hdl.handle.net/10084/89521
dc.language.iso	cs	cs
dc.publisher	Vysoká škola báňská - Technická univerzita Ostrava	cs
dc.rights.access	openAccess
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.thesis.degree-branch	Informatika a výpočetní technika	cs
dc.thesis.degree-grantor	Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky	cs
dc.thesis.degree-level	Magisterský studijní program	cs
dc.thesis.degree-name	Ing.	cs
dc.thesis.degree-program	Informační a komunikační technologie	cs
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

Files

Original bundle

Now showing 1 - 4 out of 4 results

Name:: DAN175_FEI_N2647_2612T025_2011.pdf
Size:: 701.06 KB
Format:: Adobe Portable Document Format

Download

Name:: DAN175_FEI_N2647_2612T025_2011_zadani.pdf
Size:: 518.14 KB
Format:: Adobe Portable Document Format

Download

Name:: DAN175_FEI_N2647_2612T025_2011_posudek_vedouci_Mensik_Marek.pdf
Size:: 48.6 KB
Format:: Adobe Portable Document Format
Description:: Posudek vedoucího – Menšík, Marek

Download

Name:: DAN175_FEI_N2647_2612T025_2011_posudek_oponent_Cihalova_Martina.pdf
Size:: 47.01 KB
Format:: Adobe Portable Document Format
Description:: Posudek oponenta – Číhalová, Martina

Download

Collections

Vysokoškolské kvalifikační práce Fakulty elektrotechniky a informatiky / Theses and dissertations of Faculty of Electrical Engineering and Computer Science (FEI)