Matematická logika a jej aplikácie

Belanec, Martin

Matematická logika a jej aplikácie

DSpace Repository

Language: English čeština

Matematická logika a jej aplikácie

dc.contributor.advisor	Polášek, Vladimír
dc.contributor.author	Belanec, Martin
dc.date.accessioned	2013-10-15T15:14:07Z
dc.date.accessioned	2013-10-15T17:25:58Z
dc.date.available	2013-10-15T15:14:07Z
dc.date.available	2013-10-15T17:25:58Z
dc.date.issued	2013-02-24
dc.identifier	Elektronický archiv Knihovny UTB	en
dc.identifier.uri	http://hdl.handle.net/10563/25549
dc.description.abstract	Táto bakalárska práca popisuje použitie matematickej logiky pri riešení matematických úloh, vytváraní logických obvodov a dopytovania v databázových systémoch. V teoretickej časti sú vysvetlené pojmy týkajúce sa dvojhodnotovej logiky a taktiež základné pojmy viachodnotových logík. V praktickej časti sa práca zaoberá využitím týchto logík vo vyššie popísaných okruhoch. Taktiež obsahuje praktické ukážky riešení logických matematických úloh v softwari Wolfram Mathematica, zostavovania logických obvodov v softwari Logisim a zápisu dopytovacích príkazov v softwari Microsoft SQL Server.	en
dc.format	73 s. (56 625 znaků)	en
dc.format.extent	1797012 bytes	en
dc.format.mimetype	application/zip	en
dc.language.iso	sk
dc.publisher	Univerzita Tomáše Bati ve Zlíně
dc.rights	Bez omezení
dc.subject	matematická logika	en
dc.subject	dvojhodnotová logika	en
dc.subject	fuzzy logika	en
dc.subject	Wolfram Mathematica	en
dc.subject	logický obvod	en
dc.subject	Logisim	en
dc.subject	databázový systém	en
dc.subject	Microsoft SQL Server	en
dc.subject	Mathematical logic	en
dc.subject	bivalent logic	en
dc.subject	fuzzy logic	en
dc.subject	Wolfram Mathematica	en
dc.subject	logic circuit	en
dc.subject	Logisim	en
dc.subject	database system	en
dc.subject	Microsoft SQL Server	en
dc.title	Matematická logika a jej aplikácie	en
dc.title.alternative	Mathematical Logic and its Applications	en
dc.type	bakalářská práce	en
dc.contributor.referee	Klimeš, Jiří
dc.date.accepted	2013-06-24
dc.description.abstract-translated	This bachelor work describes the use of mathematical logic in solving mathematical problems, creating the logic circuits and querying in database systems. In the theoretical section, there are explained the concepts of bivalent logic as well as basic concepts of multivalent logics. In the practical part, the bachelor work deals with the use of these logics in the above-described circuits. It also includes practical demonstrations of mathematical logic solving tasks in the software Wolfram Mathematica as well as the compilation of logic circuits in the software Logisim and writing the querying commands in the software Microsoft SQL Server.	en
dc.description.department	Ústav automatizace a řídicí techniky	en
dc.description.result	obhájeno	en
dc.parent.uri	http://hdl.handle.net/10563/90	en
dc.parent.uri	http://hdl.handle.net/10563/220	en
dc.thesis.degree-discipline	Information and Control Technologies	en
dc.thesis.degree-discipline	Informační a řídicí technologie	en
dc.thesis.degree-grantor	Univerzita Tomáše Bati ve Zlíně. Fakulta aplikované informatiky	en
dc.thesis.degree-grantor	Tomas Bata University in Zlín. Faculty of Applied Informatics	en
dc.thesis.degree-name	Bc.	en
dc.thesis.degree-program	Inženýrská informatika	en
dc.thesis.degree-program	Engineering Informatics	en
dc.identifier.stag	31916
utb.result.grade	A
dc.date.submitted	2013-06-13
local.subject	logické obvody	cs
local.subject	logic circuits	en