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.
Anotace v angličtině
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.
Klíčová slova
matematická logika, dvojhodnotová logika, fuzzy logika, Wolfram Mathematica, logický obvod, Logisim, databázový systém, Microsoft SQL Server
Klíčová slova v angličtině
Mathematical logic, bivalent logic, fuzzy logic, Wolfram Mathematica, logic circuit, Logisim, database system, Microsoft SQL Server
Rozsah průvodní práce
73 s. (56 625 znaků)
Jazyk
SK
Anotace
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.
Anotace v angličtině
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.
Klíčová slova
matematická logika, dvojhodnotová logika, fuzzy logika, Wolfram Mathematica, logický obvod, Logisim, databázový systém, Microsoft SQL Server
Klíčová slova v angličtině
Mathematical logic, bivalent logic, fuzzy logic, Wolfram Mathematica, logic circuit, Logisim, database system, Microsoft SQL Server
Zásady pro vypracování
Vysvětlete pojem matematická logika a ostatní pojmy týkající se tzv. dvouhodnotové logiky.
Vysvětlete základní pojmy vícehodnotové logiky, fuzzy logiky, případně další a jejich základní aplikace.
Popište příkazy softwaru Mathematica týkající se matematické logiky a jejich využití při řešení úloh z matematiky.
Uveďte využití logických operátorů při vytváření logických obvodů.
Popište využití logických operátorů při vytváření databázových systémů.
Zásady pro vypracování
Vysvětlete pojem matematická logika a ostatní pojmy týkající se tzv. dvouhodnotové logiky.
Vysvětlete základní pojmy vícehodnotové logiky, fuzzy logiky, případně další a jejich základní aplikace.
Popište příkazy softwaru Mathematica týkající se matematické logiky a jejich využití při řešení úloh z matematiky.
Uveďte využití logických operátorů při vytváření logických obvodů.
Popište využití logických operátorů při vytváření databázových systémů.
Seznam doporučené literatury
KVASNIČKA, Vladimír a Jiří POSPÍCHAL. Matematická logika. Bratislava: STU vydavateľstvo, 2007. ISBN 8022724491
OSTRAVSKÝ, Jan a Vladimír POLÁŠEK. Diferenciální a integrální počet funkce jedné proměnné: vybrané statě. Zlín: Univerzita Tomáše Bati ve Zlíně, 2011. ISBN 978-80-7454-124-7.
VRBA, R., R. KUCHTA, O. SAJDL, P. HUB, M. SKOČDOPOLE, L. FUJCIK, J. HÁZE, M. ZEMÁNEK a R. VRBA. Multimediální učebnice digitálních obvodů. Brno: FEKT VUT, 2004. Dostupné z: http://www.umel.feec.vutbr.cz/bdom
KAPRÁLIK, P., GALANOVÁ, J., POLAKOVIČ, M. Logické systémy. Bratislava: STU vydavateľstvo, 2009. ISBN 9788022732055
ŠEDA, Miloš. Databázové systémy. Brno: FSI VUT, 2002. Dostupné z: www.uai.fme.vutbr.cz/
mseda/DBS02_BS.pdf
Seznam doporučené literatury
KVASNIČKA, Vladimír a Jiří POSPÍCHAL. Matematická logika. Bratislava: STU vydavateľstvo, 2007. ISBN 8022724491
OSTRAVSKÝ, Jan a Vladimír POLÁŠEK. Diferenciální a integrální počet funkce jedné proměnné: vybrané statě. Zlín: Univerzita Tomáše Bati ve Zlíně, 2011. ISBN 978-80-7454-124-7.
VRBA, R., R. KUCHTA, O. SAJDL, P. HUB, M. SKOČDOPOLE, L. FUJCIK, J. HÁZE, M. ZEMÁNEK a R. VRBA. Multimediální učebnice digitálních obvodů. Brno: FEKT VUT, 2004. Dostupné z: http://www.umel.feec.vutbr.cz/bdom
KAPRÁLIK, P., GALANOVÁ, J., POLAKOVIČ, M. Logické systémy. Bratislava: STU vydavateľstvo, 2009. ISBN 9788022732055
ŠEDA, Miloš. Databázové systémy. Brno: FSI VUT, 2002. Dostupné z: www.uai.fme.vutbr.cz/
mseda/DBS02_BS.pdf
Přílohy volně vložené
1 CD-ROM
Přílohy vázané v práci
-
Převzato z knihovny
Ne
Plný text práce
Přílohy
Posudek(y) oponenta
Hodnocení vedoucího
Záznam průběhu obhajoby
Součástí prezentace BP nebyla praktická ukázka.
V rámci obhajoby byly položeny následující dotazy:
1. Jak dalece jste se seznámil s Fuzzy logikou? (prof. Ing. Vítečková, CSc.)
2. V čem vidíte využití Vaší práce? (prof. Ing. Vítečková, CSc.)
3. Jakou algebru byste využil na řešení obecně jednoduchých problému? (prof. Ing. Vítečková, CSc.)
4. Jaké máte další doporučení na možné pokračování práce? (doc. Ing. Líška, CSc.)
5. Jaké znáte i další metody mimo zmíněných? (doc. Ing. Kubalčík, Ph.D.)
Student zodpověděl položené dotazy vedoucího BP a oponenta v plném
rozsahu a na kladené dotazy v dis. komise pro SZZ reagoval pohotově.