Browsing by Advisor "Stanovský, David"
Now showing items 1-20 of 44
-
Abelovské a silně abelovské algebry
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 10. 9. 2010 -
Alexanderov polynóm
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)Date of defense: 19. 6. 2019Názov práce: Alexanderov polynóm Autor: Ľubica Jančová Katedra: Katedra algebry Vedúci bakalárskej práce: doc. RNDr. David Stanovský, Ph.D., Katedra algebry Abstrakt: Objektom skúmania tejto práce je Alexanderov polynóm v ... -
Algebraic invariants in knot theory
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 9. 9. 2010 -
Algebraic structures for knot coloring
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)Date of defense: 10. 9. 2018Title: Algebraic Structures for Knot Coloring Author: Martina Vaváčková Department: Department of Algebra Supervisor: doc. RNDr. David Stanovský, Ph.D., Department of Algebra Abstract: This thesis is devoted to the study ... -
Automatická konstrukce modelů
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 8. 9. 2015V 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í, ... -
Barvení uzlů
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Date of defense: 21. 6. 2017V práci se zabýváme barvením uzlů pomocí algebraických struktur zvaných quandly. Představíme teorii potřebnou pro porozumění barvení a dokážeme, že barvení je skutečně invariantem uzlů. Stěžejní část práce tvoří experiment ... -
Enumerácia afinných kvázigrúp
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)Date of defense: 21. 6. 2019Práca je venovaná problému enumerácie paramediálnych kvázigrúp. V práci je dokázané, že existuje práve 2p − 1 paramediálnych kvázigrúp rádu p, kde p je nepárne prvočíslo. Ďalej je v nej dokázané, že existuje práve 11 2 p2 ... -
Faktorizace celočíselných polynomů
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 17. 9. 2009 -
Gröbnerovy báze v kryptografii
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 16. 9. 2010Předložené práce studuje využití Grobnerových bází v kryptografii, a to speciálně při kryptoanalýze blokový šifer. Nejprve seznamujeme se základními pojmy teorie Grobnerových bází a metodou pro jejich nalezení, kterou je ... -
GUI pro dokazovací systémy
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Date of defense: 25. 6. 2007 -
Jonesův polynom
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)Date of defense: 5. 9. 2018The topic of this thesis is the Jones polynomial of a given knot and its com- putation. First we define the Jones polynomial in two ways: using skein relations and using the bracket polynomial and we prove that these ... -
Klasické metody faktorizace čísel
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Date of defense: 28. 6. 2007 -
Konstrukce modelů pomocí CSP
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Date of defense: 23. 6. 2011V této práci se věnujeme algoritmům na konstrukci konečných modelů pro množiny axiomů logiky 1. řádu s cílem navrhnout a implementovat novou metodu, založenou na převodu na problém splnitelnosti omezení (CSP). V teoretické ... -
Konstrukce modelů v polynomiální reprezentaci
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 7. 9. 2015Hledání konečných modelů je problém definovaný takto: k dané teorii prvořádové logiky najít její konečný model. V této práci předkládáme nový způsob řešení tohoto problému, který je založen na překladu axiomů na sous- tavu ... -
Kryptografie založená na kvadratických tělesech
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Date of defense: 21. 5. 2008Imaginary quadratic fields were first suggested as a setting for public-key cryptography by Buchmann and Williams already in 1988 and more cryptographic schemes followed. Although the resulting protocols are currently not ... -
Kryptografie založená na kvadratických tělesech
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 27. 1. 2010Nazev prace: Kryptografie zalozena na kvadratickych telesech Autor: Milan Straka Katedra (ustav): Katedra algebry Vedouci diplomove prace: RNDr. David Stanovsky, Ph.D. E-mail vedouciho: David.Stanovsky@mff.cuni.cz Abstrakt: ... -
Kryptografie založená na mřížích
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 21. 5. 2010V předložené práci se věnujeme různým pohledům na využití mřížek v kryptografii. Poté, co píšeme mřížky obecně a problémy s nimi spojené, se věnujeme kryptosystémům založených na mřížích. Popisujeme jejich matematické ... -
Kvaterniony, oktoniony a dál?
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 29. 6. 2009 -
Levodistributivní algebry a uzly
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)Date of defense: 13. 9. 2013Název práce: Levodistributivní algebry a uzly Autor: Hana Holmes Katedra: Katedra algebry Vedoucí diplomové práce: doc. RNDr. David Stanovský, Ph.D., Katedra algebry Abstrakt: V první části této práce shrneme základy teorie ... -
Malé levodistributivní kvazigrupy
(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 25. 6. 2010