• Algebraické a mírově-teoretické vlastnosti struktur blízkých k Booleovým algebrám 

      Autor: Michal Hroch; Vedoucí práce: Pták Pavel; Oponent práce: Tkadlec Josef
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-08-12)
      Téma této disertační práce je studium konečně aditivních měr na strukturách blízkých Booleovým algebrám. Ve formulaci přijaté v teoretické fyzice jde o vyšetřování stavů na kvantových logikách. Přínos této disertační práce ...
    • Algebraické a stavové vlastnosti kvantových logik 

      Autor: Dominika Burešová; Vedoucí práce: Pták Pavel; Oponent práce: Svozil Karl
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2023-08-30)
      Tento text přispívá k teorii kvantových logik (algebraické teorii ortomodulárních uspořádaných množin). Kapitola 1 představuje základní pojmy kvantových teorií a jejich vztah s kvantovými logikami. Kapitola 2 formálně ...
    • Kombinatorické metody ve studiu kvantových struktur 

      Autor: Václav Voráček; 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., 2021-06-10)
      There are challenging problems related to the mathematical description of quantum mechanics. The thesis focuses on such problems from two different areas: The problems related to the existence of hidden variables and ...
    • Reichenbachův princip společné příčiny 

      Autor: Michal Slouka; 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., 2023-06-08)
      Tato práce se zabývá Reichenbachovým principem společné příčiny. Tento princip byl publikován v roce 1956 a jeho autorem je Hans Reichenbach. Tento princip mírně zasahuje do filozofie vědy. Zejména se snaží vysvětlit některé ...
    • 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í ...
    • Teorie grafů a kvantové struktury 

      Autor: Václav Voráček; 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., 2019-06-05)
      S příchodem kvantové teore klasická logika přestala být dostatečnou pro popis fyzikálních událostí, protože distributivní zákon výrokové logiky vede ke sporům v kvantové teorii. To vedlo k vytvoření kvantových logik. ...