Hledat
Zobrazují se záznamy 1-2 z 2
Boolean techniques in Knowledge representation
Booleovské techniky v reprezentaci znalostí
Dizertační práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2020
Datum obhajoby: 23. 09. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Boolean techniques in Knowledge representation Author: Miloš Chromý Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: Doc. RNDr. Ondřej Čepek, Ph.D., Department of Theoretical ...
Název: Booleovské techniky v Reprezentaci znalostí Autor: Miloš Chromý Katedra: Katedra teoretické matematiky a matematické logiky Vedoucí práce: Doc. RNDr. Ondřej Čepek, Ph.D., Katedra teoretické matem- atiky a matematické ...
Název: Booleovské techniky v Reprezentaci znalostí Autor: Miloš Chromý Katedra: Katedra teoretické matematiky a matematické logiky Vedoucí práce: Doc. RNDr. Ondřej Čepek, Ph.D., Katedra teoretické matem- atiky a matematické ...
Special Classes of Boolean Functions with Respect to the Complexity of their Minimization.
Speciální třídy Booleovských funkcí s ohledem na složitost jejich minimalizace
Dizertační práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2014
Datum obhajoby: 29. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this thesis we study Boolean functions from three different perspectives. First, we study the complex- ity of Boolean minimization for several classes of formulas with polynomially solvable SAT, and formulate sufficient ...
V práci zkoumáme boolovské funkce ze tří různých hledisek. Zaprvé zkoumáme zložitost minimalizace formulí z několika tříd s polynomiálně řešitelným SATem a uvádíme postačující podmínky pro třídy CNF aby se jejich minimalizace ...
V práci zkoumáme boolovské funkce ze tří různých hledisek. Zaprvé zkoumáme zložitost minimalizace formulí z několika tříd s polynomiálně řešitelným SATem a uvádíme postačující podmínky pro třídy CNF aby se jejich minimalizace ...