Hledat
Zobrazují se záznamy 1-10 z 92
Strongly compact cardinals and SCH
Silně kompaktní kardinály a SCH
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Šaroch, Jan
Datum publikování: 2020
Datum obhajoby: 22. 09. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce je věnována kardinální aritmetice. Prvním krokem je formulace Hypotézy sin- gulárních kardinálů (SCH), jež zjednodušuje kardinální mocnění singulárních kardinálů. Dále zavádíme pojem stacionární množiny a uzavřené ...
The thesis is devoted to the cardinal arithmetic. The first step is to formulate the Singular Cardinals Hypothesis (SCH) which simplifies the cardinal exponentiation of sin- gular cardinal numbers. We then define stationary ...
The thesis is devoted to the cardinal arithmetic. The first step is to formulate the Singular Cardinals Hypothesis (SCH) which simplifies the cardinal exponentiation of sin- gular cardinal numbers. We then define stationary ...
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 ...
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 ...
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. ...
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 ...
Content-Based Image Retrieval: from Primitive to Advanced Techniques
Vyhledávání obrázků na základě obsahu: od primitivních technik k pokročilým
Diplomová práce (OBHÁJENO)
Vedoucí práce: Novozámský, Adam
Datum publikování: 2022
Datum obhajoby: 09. 06. 2022
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The Wienbibliothek im Rathaus, Vienna City Library, collected over 300 thousand posters scanned in high quality from the last 100 years. Browsing and searching in such a large dataset is beyond human power. Therefore, a ...
Wienbibliothek im Rathaus, Vídeňská městská knihovna, shromáždila přes 300 tisíc plakátů naskenovaných ve vysokém rozlišení během posledních 100 let. Procházení a vyhledávání v tak velkém souboru dat je úkon nad lidské ...
Wienbibliothek im Rathaus, Vídeňská městská knihovna, shromáždila přes 300 tisíc plakátů naskenovaných ve vysokém rozlišení během posledních 100 let. Procházení a vyhledávání v tak velkém souboru dat je úkon nad lidské ...
Význačné prvky grupových okruhů
Distinguished elements of group rings
Diplomová práce (OBHÁJENO)
Vedoucí práce: Žemlička, Jan
Datum publikování: 2021
Datum obhajoby: 23. 06. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Význačné prvky grupových okruhů Autor: Bc. Zuzana Procházková Katedra: Katedra algebry Vedoucí diplomové práce: doc. Mgr. et Mgr. Jan Žemlička, Ph.D., Katedra algebry Abstrakt: Tato diplomová práce se zabývá ...
Title: Distinguished elements of group rings Author: Bc. Zuzana Procházková Department: Department of Algebra Supervisor: doc. Mgr. et Mgr. Jan Žemlička, Ph.D., Department of Algebra Abstract: This thesis is about finding ...
Title: Distinguished elements of group rings Author: Bc. Zuzana Procházková Department: Department of Algebra Supervisor: doc. Mgr. et Mgr. Jan Žemlička, Ph.D., Department of Algebra Abstract: This thesis is about finding ...
Diamantové principy a GCH
Diamond principles and GCH
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Šaroch, Jan
Datum publikování: 2020
Datum obhajoby: 15. 07. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Diamond principles and the generalized continuum hypothesis are assertions related to infinite combinatorics. This thesis studies various connections between these assertions. From numerous formulations of diamond principles, ...
Diamantové principy i zobecněná hypotéza kontinua jsou tvrzení dotýkající se ne- konečné kombinatoriky. Tato práce se zabývá vztahy mezi těmito tvrzeními, přičemž z početných formulací diamantových principů uvádí právě ...
Diamantové principy i zobecněná hypotéza kontinua jsou tvrzení dotýkající se ne- konečné kombinatoriky. Tato práce se zabývá vztahy mezi těmito tvrzeními, přičemž z početných formulací diamantových principů uvádí právě ...