Implementace algoritmů FOL pro knihovnu SymPy
Implementation of FOL algorithms for the SymPy library
Type of document
diplomová prácemaster thesis
Author
Filip Šamánek
Supervisor
Mannová Božena
Opponent
Šebek Jiří
Field of study
Datové vědyStudy program
Otevřená informatikaInstitutions assigning rank
katedra počítačů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.htmlVysokoš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
Metadata
Show full item recordAbstract
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ů. 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.
Collections
- Diplomové práce - 13136 [892]