• Algebraický přístup k CSP 

      Bulín, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 16. 9. 2010
      Nechť A je konečná relační struktura. Problém splňování omezení s šablonou A, CSP (a), rozhoduje, zda vstupní struktura X je homomorfní A. Hypotéza o dichotomii CSP Federa a Vardiho říká, že CSP(A) je vždy buď v P nebo ...
    • Algoritmus pro kvantové hledání 

      Mejdrech, Lukáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 26. 6. 2007
      V předložené práci studujeme Groverův algoritmus, který slibuje na kvantovém počítači vyhledávat v nesetříděné databázi v čase uměrné odmocnině z počtu položek. Po popsaní základních principů kvantových počítačů je uvedena ...
    • Algoritmus pro kvantovou faktorizaci 

      Čarnoký, Samuel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)
      Date of defense: 16. 9. 2008
    • Arita NU polymorfismů 

      Draganov, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)
      Date of defense: 4. 9. 2015
      Práce se zabývá aritou NU polymorfismů relačních struktur. Cílem je zjednodušit a přehledně zpracovat již existující příklad relační struktury, která má NU polymorfismus, ale nemá žádný NU polymorfismus "nízké arity vzhledem ...
    • Constraint Satisfaction Problem and Universal Algebra 

      Kazda, Alexandr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)
      Date of defense: 20. 6. 2013
      The thesis consists of a collection of my contributions to universal algebra. Motivated by the Constraint Satisfaction Problem (CSP), we study the algebras of polymorphisms of relational structures. We begin by showing by ...
    • Constraint satisfaction, graphs and algebras 

      Bulín, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)
      Date of defense: 22. 9. 2014
      Constraint satisfaction, graphs and algebras Jakub Bulín Abstract This thesis consists of three papers in the area of algebraic approach to the constraint satisfaction problem. In the first paper, a joint work with Deli'c, ...
    • Cyklotomické polynomy 

      Těthalová, Gabriela (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 9. 9. 2010
    • Diofantické rovnice a p-adická čísla 

      Půlpánová, Veronika (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 24. 6. 2010
    • Faktorizace polynomů a problém batohu 

      Sobotka, Miloslav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 9. 9. 2010
    • Finitely generated clones 

      Draganov, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)
      Date of defense: 14. 6. 2018
      A clone is a set of finitary operations closed under composition and contain- ing all projections. We say it is finitely generated if there exist a finite subset {f1, . . . , fn} such that all the other operations can be ...
    • Finitely Related Algebras 

      Goldstein, Marek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)
      Date of defense: 13. 6. 2017
      Algebraická struktura je konečného relačního stupně, pokud je její klon určen konečným počtem finitárních relací. V této práci zkoumáme grafové algebry s cílem určit, které z nich mají tuto vlastnost. Představujeme stručný ...
    • Ireducibilní polynomy nad konečnými tělesy 

      Sýkora, Jiří (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 10. 9. 2010
    • Klony na dvouprvkové množině 

      Válková, Martina (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)
      Date of defense: 9. 9. 2008
    • Konvoluční kódy 

      Skalický, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 22. 6. 2009
    • Kořeny polynomů 

      Čurilla, Marcel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)
      Date of defense: 26. 6. 2008
    • Kryptografie založená na eliptických křivkách 

      Heglasová, Veronika (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 24. 6. 2010
    • Lineární rekurentní posloupnosti nad konečnými tělesy 

      Szabados, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 9. 9. 2010
    • Perfektní neinteraktivní důkaz s nulovou znalostí 

      Barczi, Rudolf (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 11. 9. 2007
    • Permutační polynomy nad konečnými tělesy 

      Kobrle, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)
      Date of defense: 24. 6. 2010
    • Relational Approach to Universal Algebra 

      Opršal, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)
      Date of defense: 29. 2. 2016
      Title: Relational Approach to Universal Algebra Author: Jakub Opršal Department: Department of Algebra Supervisor: doc. Libor Barto, Ph.D., Department of Algebra Abstract: We give some descriptions of certain algebraic ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: admin-repozitar [at] cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV