Hledat
Zobrazují se záznamy 1-3 z 3
Algebraický přístup k CSP
Algebraický přístup k CSP
Rigorózní práce (UZNÁNO)
Datum publikování: 2012
Datum obhajoby: 21. 12. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nechť A je konečná relační struktura. Problém splňování omezení s šablonou A, CSP (a), rozhoduje, zda vstupní struktura X je homomorfní A. Hypotéza o dichotomii CSP Federa a Vardiho říká, že CSP(A) je vždy buď v P nebo ...
For a finite relational structure A, the Constraint Satisfaction Problem with template A, or CSP(A), is the problem of deciding whether an input relational structure X admits a homomorphism to A. The CSP dichotomy conjecture ...
For a finite relational structure A, the Constraint Satisfaction Problem with template A, or CSP(A), is the problem of deciding whether an input relational structure X admits a homomorphism to A. The CSP dichotomy conjecture ...
Variational sequences in mechanics on Grassmann fibrations
Variational sequences in mechanics on Grassmann fibrations
Rigorózní práce (UZNÁNO)
Datum publikování: 2012
Datum obhajoby: 12. 06. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce se zabývá zobecněním teorie variační posloupnosti na Grassmannova prodloužení 1-rozměrných podvariet. Třídy diferenciálních forem, jakožto elementy variační posloupnosti, jsou určeny lokálně pro libovolné formy ...
Extension of the variational sequence theory in mechanics to the Grassmann fibrations (prolongations) of 1-dimensional submanifolds is presented. The coordinate expressions of classes of differential forms, entering the ...
Extension of the variational sequence theory in mechanics to the Grassmann fibrations (prolongations) of 1-dimensional submanifolds is presented. The coordinate expressions of classes of differential forms, entering the ...
Kombinatorika matematických struktur
Kombinatorika matematických struktur
Rigorózní práce (UZNÁNO)
Datum publikování: 2012
Datum obhajoby: 18. 04. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Kombinatorika matematické struktury prvního řádu je třída všech formulí, které platí ve všech strukturách v ní definovatelných. Tento pojem poprvé zavedl Krajíček v [6]. V předložené práci se zabýváme charakterizací a ...
The combinatorics of a first order mathematical structure is the class of all formulas valid in all in it definable structures. This notion was first introduced by Krajíček in [6]. In the present work we try to characterize ...
The combinatorics of a first order mathematical structure is the class of all formulas valid in all in it definable structures. This notion was first introduced by Krajíček in [6]. In the present work we try to characterize ...