Browsing Diplomové práce - 13136 by Subject "First order logic"

Now showing items 1-1 of 1

    • Implementace algoritmů FOL pro knihovnu SymPy 

      Author: Filip Šamánek; Supervisor: Mannová Božena; Opponent: Šebek Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-13)
      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 ...