dc.contributor.advisor |
Neradová, Soňa |
|
dc.contributor.author |
Michek, Tomáš
|
|
dc.date.accessioned |
2009-07-03T13:05:14Z |
|
dc.date.available |
2009-07-03T13:05:14Z |
|
dc.date.issued |
2009 |
|
dc.identifier |
Univerzitní knihovna (sklad) |
cze |
dc.identifier.uri |
http://hdl.handle.net/10195/34238 |
|
dc.description.abstract |
Ve své bakalářské práci se zabývám problematikou výrokové a predikátové logiky. První část práce by měla čtenáře seznámit s významem této části matematiky a s jejími základními pojmy. Druhá část práce se věnuje architektuře výukového pro-gramu, který obsahuje kromě samotné teorie také test a který bude sloužit studentům pro domácí opakování znalostí výrokové a predikátové logiky. |
cze |
dc.format |
44 s. |
|
dc.format.extent |
2,41 MB |
|
dc.format.mimetype |
application/pdf |
|
dc.language.iso |
cze |
|
dc.publisher |
Univerzita Pardubice |
cze |
dc.rights |
Bez omezení |
cze |
dc.subject |
propositional logic |
eng |
dc.subject |
predicate logic |
eng |
dc.subject |
Programming Languages |
eng |
dc.subject |
education programs |
eng |
dc.subject |
výroková logika |
cze |
dc.subject |
predikátová logika |
cze |
dc.subject |
Programovací jazyky |
cze |
dc.subject |
výukové programy |
cze |
dc.title |
Program pro výuku a testování základů výrokové a predikátové logiky |
cze |
dc.title.alternative |
A program for education and testing the basics of propositional and predicate logic |
eng |
dc.type |
bakalářská práce |
cze |
dc.date.accepted |
2009 |
|
dc.description.abstract-translated |
In my baccalaureate work deal with problems propositional and predicate logic. First volume of work would had reader acquaint with meaning those parts mathematics and with her basic notions. Alternative volume of work paies architecture tutorial, that contains except himself theory also test and will be of service students for native repetition knowledge dictum and predicate logic. |
eng |
dc.description.department |
Katedra informačních technologií |
cze |
dc.thesis.degree-discipline |
Informační technologie |
cze |
dc.thesis.degree-name |
Bc. |
cze |
dc.thesis.degree-grantor |
Univerzita Pardubice. Fakulta elektrotechniky a informatiky |
cze |
dc.identifier.signature |
D20818 |
|
dc.thesis.degree-program |
Informační technologie |
cze |
dc.description.grade |
Dokončená práce s úspěšnou obhajobou |
cze |