Prohlížení katedra počítačů dle autora "Filip Šamánek"

Zobrazují se záznamy 1-1 z 1

    • Implementace algoritmů FOL pro knihovnu SymPy 

      Autor: Filip Šamánek; Vedoucí práce: Mannová Božena; Oponent práce: Š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 ...