|
Název práce |
Rok vypsání |
Rok obhájení |
Typ práce |
Obor práce | Vedoucí / školitel |
Řešitel |
Vypsáno |
Zadáno | Ústav |
Fakulta |
|
Testování perfektních mocnin |
2006/2007 |
2007/2008 |
diplomová práce |
| doc. RNDr. David Stanovský, Ph.D. |
skrytý |
29.09.2006 |
30.10.2006 | Katedra algebry (32-KA) |
MFF |
|
Barvení uzlů |
2016/2017 |
2016/2017 |
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
30.09.2016 |
16.11.2016 | Katedra algebry (32-KA) |
MFF |
|
Klasické metody faktorizace čísel |
2006/2007 |
2006/2007 |
bakalářská práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
02.11.2006 |
07.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Vysoce tranzitivní grupy |
2016/2017 |
2016/2017 |
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
30.09.2016 |
19.04.2017 | Katedra algebry (32-KA) |
MFF |
|
Systémy automatického dokazování |
2007/2008 |
2008/2009 |
bakalářská práce |
IOI | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
15.11.2007 |
10.12.2007 | Katedra algebry (32-KA) |
MFF |
|
Kryptografie založená na mřížích |
2007/2008 |
2009/2010 |
diplomová práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
10.12.2007 |
10.12.2007 | Katedra algebry (32-KA) |
MFF |
|
Symetrie |
2013/2014 |
2013/2014 |
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
21.10.2013 |
21.10.2013 | Katedra algebry (32-KA) |
MFF |
|
Automatická konstrukce modelů |
2010/2011 |
2014/2015 |
diplomová práce |
ITI | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
06.10.2009 |
18.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Aplikace na rozpoznávání uzlů |
2021/2022 |
|
diplomová práce |
MMIT, MSTR | doc. RNDr. David Stanovský, Ph.D. |
|
30.09.2016 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Higher commutators in loop theory |
2020/2021 |
2020/2021 |
diplomová práce |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
04.01.2021 |
05.01.2021 | Katedra algebry (32-KA) |
MFF |
|
Steganografie a steganoanalýza |
2006/2007 |
2006/2007 |
bakalářská práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
04.10.2006 |
13.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Malé levodistributivní kvazigrupy |
2008/2009 |
2009/2010 |
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
29.09.2006 |
17.05.2010 | Katedra algebry (32-KA) |
MFF |
|
Faktorizace celočíselných polynomů |
2008/2009 |
2008/2009 |
bakalářská práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
01.10.2008 |
07.10.2008 | Katedra algebry (32-KA) |
MFF |
|
Splnitelnost aritmetických formulí a Gröbnerovy báze |
2010/2011 |
|
diplomová práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
17.08.2010 |
07.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Množinová řešení Yang-Baxterovy rovnice |
2021/2022 |
|
diplomová práce |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
|
28.08.2018 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Srovnání algoritmů pro kryptografii s veřejným klíčem |
2008/2009 |
2010/2011 |
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
02.12.2008 |
14.01.2009 | Katedra algebry (32-KA) |
MFF |
|
Kryptografie založená na kvadratických tělesech |
2006/2007 |
2007/2008 |
diplomová práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
RNDr. Milan Straka, Ph.D. |
04.10.2006 |
08.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Rychlé násobení polynomů |
2007/2008 |
2007/2008 |
bakalářská práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
04.10.2007 |
22.11.2007 | Katedra algebry (32-KA) |
MFF |
|
Konečná axiomatizovatelnost algeber |
2009/2010 |
|
disertační práce |
4M1 | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
20.07.2009 |
29.09.2009 | Katedra algebry (32-KA) |
MFF |
|
Zpracování strojových důkazů |
2011/2012 |
|
diplomová práce |
ITI | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
28.09.2011 |
20.10.2011 | Katedra algebry (32-KA) |
MFF |
|
Automatizace metody hintů |
2009/2010 |
|
diplomová práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
13.10.2009 |
15.10.2009 | Katedra algebry (32-KA) |
MFF |
|
Eliminace |
2010/2011 |
|
bakalářská práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
17.09.2010 |
26.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Systémy automatického dokazování |
2007/2008 |
|
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
08.10.2007 |
14.11.2007 | Katedra algebry (32-KA) |
MFF |
|
Vybrané konstrukce jednoduchých grup |
2010/2011 |
|
bakalářská práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
09.09.2010 |
15.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Nilpotence v obecných alegbraických strukturách |
2021/2022 |
|
diplomová práce |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
|
18.08.2018 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Kvaziuspořádání na kvandlech |
2024/2025 |
|
bakalářská práce |
MITP, MOMP | doc. RNDr. David Stanovský, Ph.D. |
|
05.08.2024 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Problém izomorfismu pro quandly odvozené z grup |
2022/2023 |
2022/2023 |
bakalářská práce |
MOMP | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
04.01.2023 |
04.01.2023 | Katedra algebry (32-KA) |
MFF |
|
GUI pro dokazovací systémy |
2006/2007 |
2006/2007 |
bakalářská práce |
IP | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
03.10.2006 |
02.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Quasigroup based cryptography |
2006/2007 |
2008/2009 |
diplomová práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
08.11.2006 |
13.11.2006 | Katedra algebry (32-KA) |
MFF |
|
Enumerácia afinných kvázigrúp |
2018/2019 |
2018/2019 |
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
13.11.2018 |
13.11.2018 | Katedra algebry (32-KA) |
MFF |
|
Řešení soustav lineárních rovnic |
2005/2006 |
2005/2006 |
bakalářská práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
06.10.2005 |
16.11.2005 | Katedra algebry (32-KA) |
MFF |
|
Konstrukce modelů v polynomiální reprezentaci |
2011/2012 |
2014/2015 |
bakalářská práce |
IOI | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
01.09.2011 |
20.10.2011 | Katedra algebry (32-KA) |
MFF |
|
Levodistributivní algebry a uzly |
2010/2011 |
2012/2013 |
diplomová práce |
MMIB | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
01.10.2008 |
21.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Abelovské a silně abelovské algebry |
2009/2010 |
2009/2010 |
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
06.10.2009 |
09.11.2009 | Katedra algebry (32-KA) |
MFF |
|
Selfdistributive quasigroups of size 2^k |
2018/2019 |
2018/2019 |
diplomová práce |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
29.12.2018 |
12.01.2019 | Katedra algebry (32-KA) |
MFF |
|
Algebraic structures for knot coloring |
2016/2017 |
2017/2018 |
diplomová práce |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
30.09.2016 |
05.10.2016 | Katedra algebry (32-KA) |
MFF |
|
Některé otázky definovatelnosti |
2009/2010 |
2011/2012 |
diplomová práce |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
02.11.2009 |
02.11.2009 | Katedra algebry (32-KA) |
MFF |
|
Konstrukce modelů pomocí CSP |
2010/2011 |
2010/2011 |
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
06.08.2010 |
27.10.2010 | Katedra algebry (32-KA) |
MFF |
|
Nonassociative algebraic structures |
2021/2022 |
|
disertační práce |
P4M1A | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
07.04.2021 |
22.09.2021 | Katedra algebry (32-KA) |
MFF |
|
Alexanderov polynóm |
2018/2019 |
2018/2019 |
bakalářská práce |
| doc. RNDr. David Stanovský, Ph.D. |
skrytý |
01.10.2018 |
01.10.2018 | Katedra algebry (32-KA) |
MFF |
|
Racionální body na eliptických křivkách |
2013/2014 |
2013/2014 |
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
07.11.2013 |
07.11.2013 | Katedra algebry (32-KA) |
MFF |
|
Testování identit |
2005/2006 |
2005/2006 |
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
06.10.2005 |
14.11.2005 | Katedra algebry (32-KA) |
MFF |
|
Piet |
2019/2020 |
|
bakalářská práce |
MIUP, MZUIZV | doc. RNDr. David Stanovský, Ph.D. |
|
30.09.2016 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Konjugační třídy v grupách automorfismů abelovských grup |
2023/2024 |
|
bakalářská práce |
MITP, MMIT, MOM, MOMP | doc. RNDr. David Stanovský, Ph.D. |
|
11.10.2019 |
Ne | Katedra algebry (32-KA) |
MFF |
|
Park's conjecture |
2007/2008 |
2008/2009 |
diplomová práce |
MSTR | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
04.10.2007 |
14.11.2007 | Katedra algebry (32-KA) |
MFF |
|
Cykly translací v souvislých quandlech |
2022/2023 |
2022/2023 |
bakalářská práce |
MOMP | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
04.01.2023 |
11.01.2023 | Katedra algebry (32-KA) |
MFF |
|
Barvicí invarianty uzlů |
2023/2024 |
2023/2024 |
bakalářská práce |
MITP | doc. RNDr. David Stanovský, Ph.D. |
Bc. Ondřej Chwiedziuk |
21.02.2024 |
21.02.2024 | Katedra algebry (32-KA) |
MFF |
|
Aplikace metody nejmenších čtverců |
2023/2024 |
|
bakalářská práce |
MFMP | doc. RNDr. David Stanovský, Ph.D. |
Sofia Malašenková |
20.10.2023 |
20.10.2023 | Katedra algebry (32-KA) |
MFF |
|
Klasické Lieovy grupy |
2023/2024 |
2023/2024 |
bakalářská práce |
MITP | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
12.12.2023 |
16.12.2023 | Katedra algebry (32-KA) |
MFF |
|
Prezentace automaticky generovaných důkazů |
2009/2010 |
2009/2010 |
bakalářská práce |
MOM | doc. RNDr. David Stanovský, Ph.D. |
skrytý |
03.11.2009 |
03.11.2009 | Katedra algebry (32-KA) |
MFF |
Výsledky 1-50 z 66 1 2 další
|