| dc.contributor.advisor | Číhalová, Martina | en |
| dc.contributor.author | Brodzák, Jan | en |
| dc.date.accessioned | 2009-09-01T21:41:45Z | |
| dc.date.available | 2009-09-01T21:41:45Z | |
| dc.date.issued | 2009 | en |
| dc.identifier.other | OSD002 | cs |
| dc.identifier.uri | http://hdl.handle.net/10084/75605 | |
| dc.description.abstract | Tato 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.abstract | The 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.format | 30 l. + 7 příl. + 1 CD | cs |
| dc.language.iso | cs | en |
| dc.publisher | Vysoká škola báňská - Technická univerzita Ostrava | cs |
| dc.subject | test | cs |
| dc.subject | tvorba příkladů | cs |
| dc.subject | Predikátová logika PL 1 | cs |
| dc.subject | First-order logic | en |
| dc.subject | test | en |
| dc.subject | creating examples | en |
| dc.title | Nástroj pro podporu výuky sémantiky PL1 | cs |
| dc.title.alternative | The Tool for Learning of PL1 Semantics | en |
| dc.type | Bakalářská práce | cs |
| dc.identifier.signature | 200904388 | cs |
| dc.identifier.location | ÚK/Sklad diplomových prací | cs |
| dc.contributor.referee | Menšík, Marek | en |
| dc.date.accepted | 2009-08-19 | en |
| dc.thesis.degree-name | Bc. | en |
| dc.thesis.degree-level | Bakalářský studijní program | cs |
| dc.thesis.degree-grantor | Vysoká škola báňská - Technická univerzita Ostrava. Fakulta elektrotechniky a informatiky | cs |
| dc.description.category | Prezenční | cs |
| dc.description.department | 456 - Katedra informatiky | en |
| 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 | BRO147_FEI_B2647_2612R025_2009 | |