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.
Annotation in English
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.
Keywords
matematická logika, dvojhodnotová logika, fuzzy logika, Wolfram Mathematica, logický obvod, Logisim, databázový systém, Microsoft SQL Server
Keywords in English
Mathematical logic, bivalent logic, fuzzy logic, Wolfram Mathematica, logic circuit, Logisim, database system, Microsoft SQL Server
Length of the covering note
73 s. (56 625 znaků)
Language
SK
Annotation
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.
Annotation in English
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.
Keywords
matematická logika, dvojhodnotová logika, fuzzy logika, Wolfram Mathematica, logický obvod, Logisim, databázový systém, Microsoft SQL Server
Keywords in English
Mathematical logic, bivalent logic, fuzzy logic, Wolfram Mathematica, logic circuit, Logisim, database system, Microsoft SQL Server
Research Plan
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ů.
Research Plan
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ů.
Recommended resources
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
Recommended resources
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
