Browsing Bakalářské práce - 13133 by Author "Pták Pavel"

Now showing items 1-4 of 4

    • Algebraické a stavové vlastnosti kvantových logik 

      Author: Dominika Burešová; Supervisor: Pták Pavel; Opponent: 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ě ...

    • Reichenbachův princip společné příčiny 

      Author: Michal Slouka; Supervisor: Navara Mirko; Opponent: 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 

      Author: Petr Matěj; Supervisor: Navara Mirko; Opponent: 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 

      Author: Václav Voráček; Supervisor: Navara Mirko; Opponent: 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. ...