Nástroj pro podporu výuky sémantiky PL1

Show simple item record
dc.contributor.advisorČíhalová, Martinaen
dc.contributor.authorBrodzák, Janen
dc.contributor.refereeMenšík, Mareken
dc.date.accepted2009-08-19en
dc.date.accessioned2009-09-01T21:41:45Z
dc.date.available2009-09-01T21:41:45Z
dc.date.issued2009en
dc.description.abstractTato práce má za úkol vytvořit program pro podporu studia Predikátové logiky prvního řádu. Na úvod se snaží popsat daný jazyk a seznámit čtenáře s potřebnou teorii, která je v této práci použita. Dále pak poskytuje čtenáři podrobný popis postupu na tvorbu gramaticky správných vět, které pak mohou být použity v příkladech na testování studentů. V poslední části této práce je popsán celý systém a jeho části.cs
dc.description.abstractThe objective of this thesis is to create a programme providing support in First-order logic learning. The first part deals with the description of the language and introduces the necessary theoretical background. The next section offers a detailed description of the method of creation of grammatically correct sentences, which may be used in testing exercises. The last section deals with the description of the system and its subsections.en
dc.description.categoryPrezenčnícs
dc.description.department456 - Katedra informatikyen
dc.description.resultdobřecs
dc.format30 l. + 7 příl. + 1 CDcs
dc.identifier.locationÚK/Sklad diplomových pracícs
dc.identifier.otherOSD002cs
dc.identifier.senderS2724cs
dc.identifier.signature200904388cs
dc.identifier.thesisBRO147_FEI_B2647_2612R025_2009
dc.identifier.urihttp://hdl.handle.net/10084/75605
dc.language.isocsen
dc.publisherVysoká škola báňská - Technická univerzita Ostravacs
dc.subjecttestcs
dc.subjecttvorba příkladůcs
dc.subjectPredikátová logika PL 1cs
dc.subjectFirst-order logicen
dc.subjecttesten
dc.subjectcreating examplesen
dc.thesis.degree-branchInformatika a výpočetní technikacs
dc.thesis.degree-grantorVysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatikycs
dc.thesis.degree-levelBakalářský studijní programcs
dc.thesis.degree-nameBc.en
dc.thesis.degree-programInformační a komunikační technologiecs
dc.titleNástroj pro podporu výuky sémantiky PL1cs
dc.title.alternativeThe Tool for Learning of PL1 Semanticsen
dc.typeBakalářská prácecs

Files

Collections

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