Implementace algoritmů FOL pro knihovnu SymPy
Implementation of FOL algorithms for the SymPy library
dc.contributor.advisor | Mannová Božena | |
dc.contributor.author | Filip Šamánek | |
dc.date.accessioned | 2019-06-13T22:52:41Z | |
dc.date.available | 2019-06-13T22:52:41Z | |
dc.date.issued | 2019-06-13 | |
dc.identifier | KOS-773337374205 | |
dc.identifier.uri | http://hdl.handle.net/10467/83057 | |
dc.description.abstract | Tato diplomová práce se zabývá implementací základních algoritmů pro logiku prvního řádu. Algoritmy jsou implementovány v jazyce Python, konkretně budou součásti knihovny SymPy. Velká část práce se zabývá analýzou jednotlivých algoritmů a návrhem jejich implemen-tace do knihovny SymPy. Způsob implementace do knihovny se snaží o respektovaní jejích principu tak, aby se řešení stalo integrální součásti této knihovny. Integrace do knihovny SymPy umožní zpřístupněni algoritmů pro logiku prvního řádu širšímu okruhu uživatelů. | cze |
dc.description.abstract | This diploma thesis concerned with the implementation of basic algorithms for first order logic. The algorithms are implemented in Python language, particularly they will be part of the SymPy library. The majority of the thesis is focused on analysis of individual algorithms and it's design of implementation to SymPy library. The method of implementation to SymPy library, aiming to respect the SymPy library principles, so the solution will become integral part of that library. The integration to library SymPy will allow to access the algorithm for first order logic by wider area of users. | eng |
dc.publisher | České vysoké učení technické v Praze. Vypočetní a informační centrum. | cze |
dc.publisher | Czech Technical University in Prague. Computing and Information Centre. | eng |
dc.rights | A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html | eng |
dc.rights | Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html | cze |
dc.subject | Python | cze |
dc.subject | SymPy | cze |
dc.subject | Logika prvniho radu | cze |
dc.subject | Python | eng |
dc.subject | SymPy | eng |
dc.subject | First order logic | eng |
dc.title | Implementace algoritmů FOL pro knihovnu SymPy | cze |
dc.title | Implementation of FOL algorithms for the SymPy library | eng |
dc.type | diplomová práce | cze |
dc.type | master thesis | eng |
dc.contributor.referee | Šebek Jiří | |
theses.degree.discipline | Datové vědy | cze |
theses.degree.grantor | katedra počítačů | cze |
theses.degree.programme | Otevřená informatika | cze |
Soubory tohoto záznamu
Tento záznam se objevuje v následujících kolekcích
-
Diplomové práce - 13136 [833]