Hledat
Zobrazují se záznamy 31-40 z 550
Dosvědčování existenčních vět
Witnessing of existential statements
Diplomová práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2021
Datum obhajoby: 23. 06. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce formuluje a dokazuje dosvědčovací větu pro tvrzení dokazatelná v teorii SPV tvaru ∀x∃yA(x, y), kde A odpovídá relaci rozhodnutelné v polynomiálním čase. Teo- rií SPV se zde rozumí rozšíření teorie TPV (univerzální ...
The thesis formulates and proves a witnessing theorem for SPV -provable formulas in the form ∀x∃yA(x, y) where A corresponds to a polynomial time decidable relation. By SPV we understand an extension of the theory TPV (the ...
The thesis formulates and proves a witnessing theorem for SPV -provable formulas in the form ∀x∃yA(x, y) where A corresponds to a polynomial time decidable relation. By SPV we understand an extension of the theory TPV (the ...
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 ...
Structural and categorical description of classes of abelian groups
Strukturní a kategoriální popis tříd abelovských grup
Dizertační práce (OBHÁJENO)
Vedoucí práce: Žemlička, Jan
Datum publikování: 2021
Datum obhajoby: 27. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The work presents results concerning the self-smallness and relative smallness properties of products in the category of abelian groups and in Ab5-categories. Criteria of relative smallness of abelian groups and a ...
Práce představuje výsledky týkajících se vlastností samomalosti a relativní malosti součinů v kategorii abelovských grup a Ab5-kategorií. Jsou představena kritéria relativní malosti abelovských grup a je podána charakterizace ...
Práce představuje výsledky týkajících se vlastností samomalosti a relativní malosti součinů v kategorii abelovských grup a Ab5-kategorií. Jsou představena kritéria relativní malosti abelovských grup a je podána charakterizace ...
Artin Algebras and Infinitely Generated Tilting Modules
Artin Algebras and Infinitely Generated Tilting Modules
Rigorózní práce (UZNÁNO)
Datum publikování: 2008
Datum obhajoby: 22. 04. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt nenalezen
Additive Pairs in Quantitative Type Theory
Aditivní dvojice v kvantitativní teorii typů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šefl, Vít
Datum publikování: 2021
Datum obhajoby: 21. 06. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Jan závislé, tak lineární typy mají své kýžené vlastnosti. Zatímco závislé typy mo- hou vyjádřit závislosti mezi vstupy a výstupy funkcí, lineární typy umožňují kontrolu nad používáním zdrojů. Kombinace těchto dvou systémů ...
Both dependent types and linear types have their desirable properties. Department types can express functional dependencies of inputs and outputs, while linear types offer control over the use of computational resources. ...
Both dependent types and linear types have their desirable properties. Department types can express functional dependencies of inputs and outputs, while linear types offer control over the use of computational resources. ...
Klasifikační problémy z lineární algebry a reprezentace toulců
Classification problems from linear algebra and representations of quivers
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Šťovíček, Jan
Datum publikování: 2023
Datum obhajoby: 28. 06. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis deals with the description of categories of finite-dimensional representati- ons of quivers. Its aim is to present a classification of indecomposable objects in this category for quivers whose underlying graph ...
Tato práce se zabývá popisem kategorií konečně dimenzionálních reprezentací toulců. Jejím cílem je předvést klasifikaci nerozložitelných objektů v této kategorii pro toulce, jejichž podkladový graf je Dynkinův, a rozebrat ...
Tato práce se zabývá popisem kategorií konečně dimenzionálních reprezentací toulců. Jejím cílem je předvést klasifikaci nerozložitelných objektů v této kategorii pro toulce, jejichž podkladový graf je Dynkinův, a rozebrat ...
Realization of refinement monoids
Realizace zjemňujících monoidů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Růžička, Pavel
Datum publikování: 2021
Datum obhajoby: 15. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V této diplomové práci jsou ukázány výsledky ohledně realizace zjemňujících monoidů pomocí Grothendieckových monoidů von Neumannovsky regulárního okruhu. Nejdůleži- tější výsledek práce, který byl nedávno publikovaný P. ...
In this thesis are shown some results of realization of refinement monoid by Grothendieck monoids of von Neumann regular ring. The most important result of this thesis, recently published by P. Ara, J. Bosa and E. Pardo, ...
In this thesis are shown some results of realization of refinement monoid by Grothendieck monoids of von Neumann regular ring. The most important result of this thesis, recently published by P. Ara, J. Bosa and E. Pardo, ...
Deriving a pseudomanifold of dimension 3 from nonassociative triples
Odvození pseudovariety dimenze 3 z neasociativních trojic
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Drápal, Aleš
Datum publikování: 2021
Datum obhajoby: 08. 07. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Neasociativita kvázigrúp je užitočná vlastnosť pre kryptografiu. A. Drápal and I. M. Wanless vo svojej nedávnej práci študovali existenciu maximálne neasociatı́vnych kvázigrúp, no táto otázka ostáva pre ...
The non-associative properties of quasigroups are useful in cryptography. A. Drápal and I. M. Wanless have recently analyzed the existence of a max- imally non-associative quasigroup of order n in their work, but there ...
The non-associative properties of quasigroups are useful in cryptography. A. Drápal and I. M. Wanless have recently analyzed the existence of a max- imally non-associative quasigroup of order n in their work, but there ...
Minimální Taylorovy klony na třech prvcích
Minimal Taylor Clones on Three Elements
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barto, Libor
Datum publikování: 2022
Datum obhajoby: 14. 06. 2022
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Brady have classified all the minimal Taylor algebras on a three-element set up to term equivalence and isomorphism; there are 24 such algebras. The thesis studies the clones of these algebras. For 12 of them, the thesis ...
Brady klasifikoval všechny minimální Taylorovy algebry na tří prvkové množině až na termovou ekvivalenci a izomorfismus, celkem takových algeber je 24. Práce zkoumá klony těchto algeber. Pro 12 z nich, práce charakterizuje ...
Brady klasifikoval všechny minimální Taylorovy algebry na tří prvkové množině až na termovou ekvivalenci a izomorfismus, celkem takových algeber je 24. Práce zkoumá klony těchto algeber. Pro 12 z nich, práce charakterizuje ...
Serre's conjecture on projective modules over polynomial rings
Serreho hypotéza o projektivních modulech nad okruhy polynomů
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Shaul, Liran
Datum publikování: 2023
Datum obhajoby: 28. 06. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This is an expository paper on the Quillen-Suslin Theorem, formerly known as Serre's Conjecture. A self-contained proof of this theorem is presented, followed by a discussion of the related Bass-Quillen Conjecture. The ...