Matematická logika a jej aplikácie

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.