Hledat
Zobrazují se záznamy 1-3 z 3
Classes of Boolean Formulae with Effectively Solvable SAT
Třídy Booleovských formulí s efektivně řešitelným SATem
Dizertační práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2013
Datum obhajoby: 18. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The thesis studies classes of Boolean formulae for which the well-known satisfiability problem is solvable in polynomially bounded time. It focusses on classes based on unit resolution; it describe classes of unit refutation ...
Práce studuje třídy booleovkských formulí pro které je problém splnitelnosti řešitelný v polynomiálním čase. Zaměřuje se na třídy založené jednotkové rezoluci; popisuje třídy unit refutation complete formulí, unit propagation ...
Práce studuje třídy booleovkských formulí pro které je problém splnitelnosti řešitelný v polynomiálním čase. Zaměřuje se na třídy založené jednotkové rezoluci; popisuje třídy unit refutation complete formulí, unit propagation ...
Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis
Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu
Dizertační práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2013
Datum obhajoby: 23. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: of doctoral thesis Study of Arithmetical Structures and Theories with Regard to Representative and Descriptive Analysis Petr Glivický We are motivated by a problem of understanding relations between local and global ...
disertační práce Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu Petr Glivický Jsme motivováni otázkou vztahu lokálních a globálních vlastností operace o ve struktuře tvaru B, o s ...
disertační práce Studium aritmetických struktur a teorií s ohledem na reprezentační a deskriptivní analýzu Petr Glivický Jsme motivováni otázkou vztahu lokálních a globálních vlastností operace o ve struktuře tvaru B, o s ...
Reasoning in Description Logics
Usuzování v deskriptivní logice
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kučera, Antonín
Datum publikování: 2013
Datum obhajoby: 21. 01. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Title: Reasoning in Description Logics Author: Mgr. Jaromír Malenko Department: Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University in Prague Supervisor: ...
Název: Usuzování v deskriptivní logice Autor: Mgr. Jaromír Malenko Pracoviště: Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Školitel: Prof. RNDr. Petr ...
Název: Usuzování v deskriptivní logice Autor: Mgr. Jaromír Malenko Pracoviště: Katedra teoretické informatiky a matematické logiky, Matematicko-fyzikální fakulta, Univerzita Karlova v Praze Školitel: Prof. RNDr. Petr ...