Search
Now showing items 1-10 of 41
Pokročilé metody hledání diskrétního logaritmu
Advanced techniques for calculations of discrete logarithm
diploma thesis (DEFENDED)
Advisor: Příhoda, Pavel
Date Issued: 2013
Date of defense: 13. 09. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Let G be a finite cyclic group. Solving the equation g^x = y for a given generator g and y is called the discrete logarithm problem. This problem is at the core of many modern cryptographic transformations. In this paper ...
Mějme konečnou cyklickou grupu G generovanou prvkem g. Problém diskrétního logaritmu, tedy pro zadané y nalézt přirozené číslo x splňující g^x = y, představuje jeden ze základních pilířů moderních kryptografických transformací. ...
Mějme konečnou cyklickou grupu G generovanou prvkem g. Problém diskrétního logaritmu, tedy pro zadané y nalézt přirozené číslo x splňující g^x = y, představuje jeden ze základních pilířů moderních kryptografických transformací. ...
Matematické základy Stevensova algoritmu
Mathematical foundations of Steven's algorithm
diploma thesis (DEFENDED)
Advisor: Tůma, Jiří
Date Issued: 2010
Date of defense: 21. 05. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V předložené práce se věnujeme tématu hledání kolizí v hashovací funkci MD5. V práci se zaměřujeme na Stevensův algoritmem pro hledání diferenčních cest a řešíme některé problémy spojení s tímto algoritmem. Řešíme zejména ...
In the present work we address the issue of nding collisions in MD5 hash function. In this work we focus on Steven's algorithm for nding the di erential paths and solve some problems associated with this algorithm. We solve ...
In the present work we address the issue of nding collisions in MD5 hash function. In this work we focus on Steven's algorithm for nding the di erential paths and solve some problems associated with this algorithm. We solve ...
Automatická konstrukce modelů
Automated model building
diploma thesis (DEFENDED)
Advisor: Stanovský, David
Date Issued: 2015
Date of defense: 08. 09. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V této práci implementujeme metodu MACE pro hledání konečných modelů v klasické logice prvního řádu bez sort. Kromě známých modifikací metody MACE jsou popsány a implementovány i úplně nové modifikace, například: odzplošťování, ...
We implement a MACE-style method for finding finite models in unsorted classical first-order logic. Additionally to well-known modifications of the method we also describe and implement several new modifications such as: ...
We implement a MACE-style method for finding finite models in unsorted classical first-order logic. Additionally to well-known modifications of the method we also describe and implement several new modifications such as: ...
Dosvědčování existenčních vět
Witnessing of existential statements
diploma thesis (DEFENDED)
Advisor: Krajíček, Jan
Date Issued: 2021
Date of defense: 23. 06. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...
Minimální Taylorovy klony na třech prvcích
Minimal Taylor Clones on Three Elements
diploma thesis (DEFENDED)
Advisor: Barto, Libor
Date Issued: 2022
Date of defense: 14. 06. 2022
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...
Význačné prvky grupových okruhů
Distinguished elements of group rings
diploma thesis (DEFENDED)
Advisor: Žemlička, Jan
Date Issued: 2021
Date of defense: 23. 06. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...
Hledání optimálních strategií číselného síta
Searching optimal strategies for the number field sieve
diploma thesis (DEFENDED)
Advisor: Drápal, Aleš
Date Issued: 2009
Date of defense: 01. 06. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V předložené práci studujeme algoritmus číselného síta. Zaměřujeme se především na jeho teoretickou podstatu s vyložením všech důležitých tvrzení potřebných k pochopení fungování algoritmu. Dále popisujeme několik ...
In this work we study the number field sieve algorithm. Our main focus is on its theoretical background. We present all important theorems which are needed for a full understanding of the algorithm. We also describe the ...
In this work we study the number field sieve algorithm. Our main focus is on its theoretical background. We present all important theorems which are needed for a full understanding of the algorithm. We also describe the ...
Komutativní nilpotentní okruhy
Commutative nilpotent rings
diploma thesis (DEFENDED)
Advisor: Kepka, Tomáš
Date Issued: 2006
Date of defense: 11. 09. 2006
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract not found
Variety určené krátkými identitami
Varieties determined by short identities
diploma thesis (DEFENDED)
Advisor: Ježek, Jaroslav
Date Issued: 2007
Date of defense: 20. 09. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tato práce se zabývá hledáním volných algeber nad spočetnou množinou proměnných ve varietách grupoidů určených identitou tvaru x = t, kde t je term délky 5. K tomuto účelu je použita metoda přepisujících systémů. Práce ...
This paper deals with searching for free algebras over the countable infinite set of variables in varieties determined by identity of form x = t, where t is term of length 5. Notion of rewriting system is introduced and ...
This paper deals with searching for free algebras over the countable infinite set of variables in varieties determined by identity of form x = t, where t is term of length 5. Notion of rewriting system is introduced and ...
Konečně generované polookruhy a polotělesa
Finitely generated semirings and semifields
diploma thesis (DEFENDED)
Advisor: Kala, Vítězslav
Date Issued: 2021
Date of defense: 23. 06. 2021
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...