Prohlížení dle autora "Pták Pavel"
-
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. ...