Hledat
Zobrazují se záznamy 1-4 z 4
Global Constraints in Scheduling
Globalni podminky v rozvrhovani
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2007
Datum obhajoby: 22. 08. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this place, I would like to say my best thanks to everyone who supported me in my work and helped me along my whole Ph.D. study. First of all I owe a major debt to my supervisor Doc. RNDr. Roman Barták, Ph.D. for his ...
Interval Representations of Boolean Functions
Intervalové reprezentace booleovských funkcí
Dizertační práce (OBHÁJENO)
Vedoucí práce: Čepek, Ondřej
Datum publikování: 2007
Datum obhajoby: 22. 08. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis is dedicated to a research concerning representations of Boolean functions. We present the concept of a representation using intervals of integers. Boolean function f is represented by set I of intervals, if ...
Verefication of Mathematical Proofs
Verefication of Mathematical Proofs
Dizertační práce (OBHÁJENO)
Vedoucí práce: Štěpánek, Petr
Datum publikování: 2007
Datum obhajoby: 07. 03. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this thesis we deal with the problem of automatic proving (or disproving) mathematical conjectures using computer programs (usually called automated theorem provers). We address several issues that are important for a ...
Structure of Submodels.Diagonal Indiscernibility in Models of Arithmetics.
Structure of Submodels.Diagonal Indiscernibility in Models of Arithmetics.
Dizertační práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2007
Datum obhajoby: 06. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen