Implementace algoritmů FOL pro knihovnu SymPy
Implementation of FOL algorithms for the SymPy library
Typ dokumentu
diplomová prácemaster thesis
Autor
Filip Šamánek
Vedoucí práce
Mannová Božena
Oponent práce
Šebek Jiří
Studijní obor
Datové vědyStudijní program
Otevřená informatikaInstituce přidělující hodnost
katedra počítačůPráva
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
Zobrazit celý záznamAbstrakt
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.
Kolekce
- Diplomové práce - 13136 [892]