Program pro výuku a testování základů výrokové a predikátové logiky

Michek, Tomáš

Publikace:
Program pro výuku a testování základů výrokové a predikátové logiky

Bakalářská práceopen access

dc.contributor.advisor	Neradová, Soňa
dc.contributor.author	Michek, Tomáš
dc.date.accepted	2009
dc.date.accessioned	2009-07-03T13:05:14Z
dc.date.available	2009-07-03T13:05:14Z
dc.date.issued	2009
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.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.description.grade	Dokončená práce s úspěšnou obhajobou	cze
dc.format	44 s.
dc.format.extent	2,41 MB
dc.format.mimetype	application/pdf
dc.identifier	Univerzitní knihovna (sklad)	cze
dc.identifier.signature	D20818
dc.identifier.uri	https://hdl.handle.net/10195/34238
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.thesis.degree-discipline	Informační technologie	cze
dc.thesis.degree-grantor	Univerzita Pardubice. Fakulta elektrotechniky a informatiky	cze
dc.thesis.degree-name	Bc.	cze
dc.thesis.degree-program	Informační technologie	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
dspace.entity.type	Publication