  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 | |
 |
Relational Approach to Universal Algebra | 2011/2012 | 2015/2016 | disertační práce | 4M1 | prof. Mgr. Libor Barto, Ph.D. | Mgr. Jakub Opršal, Ph.D. | 22.09.2011 | 26.09.2011 | Katedra algebry (32-KA) | MFF |
|
Algebraický přístup k CSP | 2008/2009 | 2009/2010 | diplomová práce | MSTR | prof. Mgr. Libor Barto, Ph.D. | skrytý |
07.11.2008 | 11.11.2008 | Katedra algebry (32-KA) | MFF |
|
Permutační polynomy nad konečnými tělesy | 2009/2010 | 2009/2010 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
14.10.2009 | 26.10.2009 | Katedra algebry (32-KA) | MFF |
|
Extensions of Constraint Satisfaction Problem | 2023/2024 | disertační práce | P4M1A | prof. Mgr. Libor Barto, Ph.D. | skrytý |
19.02.2024 | 20.02.2024 | Katedra algebry (32-KA) | MFF | |
|
Cyklotomické polynomy | 2009/2010 | 2009/2010 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
08.10.2009 | 09.10.2009 | Katedra algebry (32-KA) | MFF |
|
Rozšíření problému splnitelnosti omezujících podmínek | 2023/2024 | disertační práce | P4M1A | prof. Mgr. Libor Barto, Ph.D. | 27.04.2023 | Ne | Katedra algebry (32-KA) | MFF | ||
|
Perfektní neinteraktivní důkaz s nulovou znalostí | 2006/2007 | 2006/2007 | bakalářská práce | MMIB | prof. Mgr. Libor Barto, Ph.D. | skrytý |
06.10.2006 | 10.11.2006 | Katedra algebry (32-KA) | MFF |
|
Generalizing CSP-related results to infinite algebras | 2009/2010 | 2018/2019 | disertační práce | 4M1 | prof. Mgr. Libor Barto, Ph.D. | skrytý |
19.04.2010 | 25.09.2015 | Katedra algebry (32-KA) | MFF |
|
Selected Topics from Tame Congruence Theory | 2007/2008 | 2007/2008 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
08.10.2007 | 26.10.2007 | Katedra algebry (32-KA) | MFF |
|
Ireducibilní polynomy nad konečnými tělesy | 2009/2010 | 2009/2010 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
14.10.2009 | 24.10.2009 | Katedra algebry (32-KA) | MFF |
|
Diofantické rovnice a p-adická čísla | 2009/2010 | 2009/2010 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
09.10.2009 | 22.10.2009 | Katedra algebry (32-KA) | MFF |
|
Algoritmus pro kvantovou faktorizaci | 2006/2007 | 2007/2008 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
07.12.2006 | 07.12.2006 | Katedra algebry (32-KA) | MFF |
|
Konvoluční kódy | 2008/2009 | 2008/2009 | bakalářská práce | MMIB | prof. Mgr. Libor Barto, Ph.D. | skrytý |
07.11.2008 | 11.11.2008 | Katedra algebry (32-KA) | MFF |
|
Minimální Taylorovy klony na třech prvcích | 2022/2023 | 2022/2023 | rigorózní práce | MSPN | prof. Mgr. Libor Barto, Ph.D. | skrytý |
25.07.2023 | 25.07.2023 | Katedra algebry (32-KA) | MFF |
|
Promises in Satisfaction Problems | 2018/2019 | 2022/2023 | disertační práce | P4M1A | prof. Mgr. Libor Barto, Ph.D. | skrytý |
20.04.2018 | 29.10.2018 | Katedra algebry (32-KA) | MFF |
|
The Number of Homomorphisms to a Fixed Algebra | 2020/2021 | 2020/2021 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
22.10.2020 | 22.10.2020 | Katedra algebry (32-KA) | MFF |
|
Weighted Clones | 2014/2015 | 2017/2018 | diplomová práce | MSTR | prof. Mgr. Libor Barto, Ph.D. | skrytý |
13.10.2014 | 20.11.2014 | Katedra algebry (32-KA) | MFF |
|
Rozšíření problému splnitelnosti omezujících podmínek | 2023/2024 | disertační práce | P4M1A | prof. Mgr. Libor Barto, Ph.D. | skrytý |
27.04.2023 | 11.10.2023 | Katedra algebry (32-KA) | MFF | |
|
WNU termy ve varietách bez typů 1 a 2 | 2008/2009 | 2009/2010 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
07.11.2008 | 11.11.2008 | Katedra algebry (32-KA) | MFF |
|
Finitely Related Algebras | 2015/2016 | 2016/2017 | diplomová práce | MSTR | prof. Mgr. Libor Barto, Ph.D. | skrytý |
13.10.2014 | 22.01.2016 | Katedra algebry (32-KA) | MFF |
|
Rozšíření problému splnitelnosti omezujících podmínek | 2024/2025 | disertační práce | P4M1 | prof. Mgr. Libor Barto, Ph.D. | skrytý |
24.04.2024 | 30.09.2024 | Katedra algebry (32-KA) | MFF | |
|
Lineární rekurentní posloupnosti nad konečnými tělesy | 2009/2010 | 2009/2010 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
14.10.2009 | 03.11.2009 | Katedra algebry (32-KA) | MFF |
|
Klony na dvouprvkové množině | 2007/2008 | 2007/2008 | bakalářská práce | MMIB | prof. Mgr. Libor Barto, Ph.D. | skrytý |
08.10.2007 | 19.11.2007 | Katedra algebry (32-KA) | MFF |
|
Symetrie ve výpočetní složitosti | 2017/2018 | disertační práce | 4M1A | prof. Mgr. Libor Barto, Ph.D. | skrytý |
20.04.2018 | 27.09.2018 | Katedra algebry (32-KA) | MFF | |
|
Combinatorial Gap Label Cover | 2021/2022 | 2021/2022 | diplomová práce | prof. Mgr. Libor Barto, Ph.D. | skrytý |
09.12.2021 | 27.01.2022 | Katedra algebry (32-KA) | MFF | |
|
Products of Boolean Clones up to Minion Homomorphisms | 2023/2024 | 2023/2024 | diplomová práce | MSPN | prof. Mgr. Libor Barto, Ph.D. | skrytý |
15.03.2024 | 19.03.2024 | Katedra algebry (32-KA) | MFF |
|
Minimální Taylorovy klony na třech prvcích | 2021/2022 | 2021/2022 | diplomová práce | MSPN | prof. Mgr. Libor Barto, Ph.D. | skrytý |
09.12.2021 | 14.03.2022 | Katedra algebry (32-KA) | MFF |
|
Vážené klony | 2013/2014 | 2013/2014 | diplomová práce | MSTR | prof. Mgr. Libor Barto, Ph.D. | skrytý |
20.10.2013 | 21.10.2013 | Katedra algebry (32-KA) | MFF |
|
Extensions of Constraint Satisfaction Problem | 2023/2024 | disertační práce | P4M1A | prof. Mgr. Libor Barto, Ph.D. | skrytý |
27.04.2023 | 02.10.2023 | Katedra algebry (32-KA) | MFF | |
|
Kořeny polynomů | 2006/2007 | 2007/2008 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
07.12.2006 | 07.12.2006 | Katedra algebry (32-KA) | MFF |
|
Kosouvislé algebry | 2023/2024 | 2023/2024 | bakalářská práce | MOMP | prof. Mgr. Libor Barto, Ph.D. | Bc. Lukáš Vlasák | 11.12.2023 | 13.12.2023 | Katedra algebry (32-KA) | MFF |
|
Constraint satisfaction, graphs and algebras | 2010/2011 | 2013/2014 | disertační práce | 4M1 | prof. Mgr. Libor Barto, Ph.D. | skrytý |
30.04.2010 | 11.10.2010 | Katedra algebry (32-KA) | MFF |
|
Kryptografie založená na eliptických křivkách | 2009/2010 | 2009/2010 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
16.10.2009 | 22.10.2009 | Katedra algebry (32-KA) | MFF |
|
Úplně symetrické operace | 2023/2024 | bakalářská práce | prof. Mgr. Libor Barto, Ph.D. | skrytý |
23.10.2023 | 23.10.2023 | Katedra algebry (32-KA) | MFF | ||
|
Constraint Satisfaction Problem and Universal Algebra | 2009/2010 | 2012/2013 | disertační práce | 4M1 | prof. Mgr. Libor Barto, Ph.D. | skrytý |
24.09.2009 | 03.11.2009 | Katedra algebry (32-KA) | MFF |
|
Testování prvočíselnosti pomocí eliptických křivek | 2009/2010 | 2009/2010 | bakalářská práce | MMIB | prof. Mgr. Libor Barto, Ph.D. | skrytý |
08.10.2009 | 22.10.2009 | Katedra algebry (32-KA) | MFF |
|
Faktorizace polynomů a problém batohu | 2009/2010 | 2009/2010 | bakalářská práce | MMIB | prof. Mgr. Libor Barto, Ph.D. | skrytý |
08.10.2009 | 03.11.2009 | Katedra algebry (32-KA) | MFF |
|
Rychlé násobení matic | 2007/2008 | 2007/2008 | bakalářská práce | MMIB | prof. Mgr. Libor Barto, Ph.D. | skrytý |
26.10.2007 | 19.11.2007 | Katedra algebry (32-KA) | MFF |
|
Finitely generated clones | 2015/2016 | 2017/2018 | diplomová práce | MSTR | prof. Mgr. Libor Barto, Ph.D. | skrytý |
08.03.2016 | 08.03.2016 | Katedra algebry (32-KA) | MFF |
|
Arita NU polymorfismů | 2014/2015 | 2014/2015 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
13.10.2014 | 06.11.2014 | Katedra algebry (32-KA) | MFF |
|
Homomorphisms into unary algebras | 2020/2021 | 2020/2021 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
21.12.2020 | 21.12.2020 | Katedra algebry (32-KA) | MFF |
|
Symmetric terms | 2022/2023 | 2022/2023 | diplomová práce | MSPN | prof. Mgr. Libor Barto, Ph.D. | skrytý |
04.11.2022 | 04.11.2022 | Katedra algebry (32-KA) | MFF |
|
Monotone functions avoiding majorities | 2019/2020 | 2019/2020 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
25.02.2020 | 25.02.2020 | Katedra algebry (32-KA) | MFF |
|
Algoritmus pro kvantové hledání | 2006/2007 | 2006/2007 | bakalářská práce | IP | prof. Mgr. Libor Barto, Ph.D. | skrytý |
02.10.2006 | 23.11.2006 | Katedra algebry (32-KA) | MFF |
|
Rozhodnutelnost abelovských grup | 2006/2007 | 2006/2007 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
02.10.2006 | 22.11.2006 | Katedra algebry (32-KA) | MFF |
|
Clones of tournaments | 2021/2022 | 2021/2022 | bakalářská práce | MOM | prof. Mgr. Libor Barto, Ph.D. | skrytý |
21.02.2022 | 21.04.2022 | Katedra algebry (32-KA) | MFF |
|
Minion Cores of Clones | 2022/2023 | 2022/2023 | diplomová práce | MSPN | prof. Mgr. Libor Barto, Ph.D. | skrytý |
05.09.2022 | 05.09.2022 | Katedra algebry (32-KA) | MFF |
Výsledky 1-47 z 47 1