• Algoritmus generující operace ve vícehodnotové logice 

      Autor: Kozák Jan; Vedoucí práce: Petrík Milan; Oponent práce: Navara Mirko
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-26)
      Monoidy s lineárním uspořádáním (zkráceně tomonoidy) jsou matematickou strukturou, která může mimo jiné popisovat sémantiku konečných fuzzy logik. Cílem této práce je implementovat v jazyce C/C++ algoritmus popsaný Milanem ...
    • Skryté proměnné v matematických modelech kvantových struktur 

      Autor: Petr Matěj; Vedoucí práce: Navara Mirko; Oponent práce: Pták Pavel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-27)
      Cílem této práce je seznámení s teorií skrytých proměnných a stavem programů zabývajících se výpočty na kvantových strukturách. Dále je popsána implementace algoritmu, který pro danou kvantovou strukturu (ortomodulární ...
    • Steinerův bod a jeho fuzzy zobecnění 

      Autor: Benedikt Ondřej; Vedoucí práce: Navara Mirko; Oponent práce: Petrík Milan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2016-05-24)
      Steinerův bod je jedním z význačných bodů pojících se s uzavřenými konvexními množinami. V nedávné době byla jeho definice rozšířena také na konvexní fuzzy množiny. V této práci se zabýváme výpočtem Steinerova bodu pro ...