Hledat
Zobrazují se záznamy 1-10 z 56
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 ...
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 ...
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 ...
Bezpečné sdílené počítání modulo p^k
Secure multi-party computation modulo p^k
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Žemlička, Jan
Datum publikování: 2023
Datum obhajoby: 12. 09. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The thesis deals with a subfield of cryptography called secure multi-party computation which is a technique that allows multiple parties to work together to compute a single function while preserving the privacy of it's ...
Práce se zabývá odvětvím kryptografie zvaným bezpečné sdílené počítání, což je tech- nika, která umožňuje více stranám spolupracovat na výpočtu jediné funkce tak, že její vstupy zůstanou utajeny. Konkrétněji se práce zabývá ...
Práce se zabývá odvětvím kryptografie zvaným bezpečné sdílené počítání, což je tech- nika, která umožňuje více stranám spolupracovat na výpočtu jediné funkce tak, že její vstupy zůstanou utajeny. Konkrétněji se práce zabývá ...
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ě ...
Komplexita v celulárních automatech
Complexity in Cellular Automata
Rigorózní práce (UZNÁNO)
Vedoucí práce: Mikolov, Tomáš
Datum publikování: 2022
Datum obhajoby: 03. 11. 2022
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In order to identify complex systems capable of modeling artificial life, we study the notion of complexity within a class of dynamical systems called cellu- lar automata. We present a novel classification of cellular ...
Naším dlouhodobým cílem je identifikovat komplexní systémy vhodné k mod- elování umělého života. Tento problém je obtížný zčásti kvůli chybějící formální definici komplexního chování. V této práci proto zkoumáme pojem ...
Naším dlouhodobým cílem je identifikovat komplexní systémy vhodné k mod- elování umělého života. Tento problém je obtížný zčásti kvůli chybějící formální definici komplexního chování. V této práci proto zkoumáme pojem ...
Hlídání galerie
Art gallery problem
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Patáková, Zuzana
Datum publikování: 2023
Datum obhajoby: 21. 06. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this thesis, we study a classical problem in computational geometry, the Art Gallery Problem. The Art Gallery Problem originates from the question of what is the minimum number of guards required to see the entire ...
V této práci se budeme zabývat klasickým problémem z výpočetní geometrie, a to problémem hlídání galerie, též známého pod anglickým názvem The Art Gallery Problem. Hlídání galerie se zabývá otázkou, jaký je nejmenší počet ...
V této práci se budeme zabývat klasickým problémem z výpočetní geometrie, a to problémem hlídání galerie, též známého pod anglickým názvem The Art Gallery Problem. Hlídání galerie se zabývá otázkou, jaký je nejmenší počet ...
Konečně generované polookruhy a polotělesa
Finitely generated semirings and semifields
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kala, Vítězslav
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 se zabývá polookruhy. Polookruhy jsou tvořeny nosnou množinou s dvěma binárními operacemi, které jsou komutativní, asociativní a navíc je jedna z nich distributivní vůči druhé. Zaměříme se na třídu ideálově-jednoduchých ...
We investigate commutative semirings, which are formed by a ground set equipped with two binary associative and commutative operations such that one distributes over the other. We narrow down our interest to ideal-simple ...
We investigate commutative semirings, which are formed by a ground set equipped with two binary associative and commutative operations such that one distributes over the other. We narrow down our interest to ideal-simple ...
Komplexní algebraické křivky
Complex algebraic curves
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Šťovíček, 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 popisuje vztah mezi algebraickými křivkami a Riemannovými plochami. Za- vedeme Weierstrassovu ℘-funkci a dokážeme některé její vlastnosti. Dále nahlédneme, že každou komplexní algebraickou křivku lze chápat jako ...
The thesis describes the relationship between algebraic curves and Riemann surfaces. We define Weierstrass ℘-function and prove some of its properties. We further prove that every complex algebraic curve can be regarded ...
The thesis describes the relationship between algebraic curves and Riemann surfaces. We define Weierstrass ℘-function and prove some of its properties. We further prove that every complex algebraic curve can be regarded ...