• 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. ...