Diplomová práce

Efektové algebry a kvantové logiky

Effect algebras and quantum logics

Bc. Roman Štěpánek
Anotace

V první části této diplomové práce se věnujeme popisu několika algebraických struktur formalizujících různé logiky. Jedná se o Booleovy algebry pro klasickou výrokovou logiku, ortomodulární svazy pro logiku kvantové mechaniky a MV-algebry pro vícehodnotové logiky. Dále zkoumáme vlastnosti efektových algeber, které jsou zobecněním výše uvedených struktur. Ve druhé části se zaměřujeme na logické odvozovací …více

Abstract

In the first part of this thesis we study description of several algebraic structures, that formalize different types of logics, specifically Boolean algebras for clasical proposional calculus, orthomodular lattices for logic of quantum mechanics and MV-algebras for Many-valued logics. Next we study properties of effect algebras, that generalize all structures mentioned above. In the second part we …více

Klíčová slova
efektová algebra ortoalgebra ortomodulární poset ortomodulární svaz Booleova algebra MV-algebra svazová efektová algebra výroková logika logika kvantové mechaniky vícehodnotová logika odvozovací systém sekvenční kalkul implikační algebra efektový grupoid efekto-grupoidová logika Effect Algebra Orthoalgebra Orthomodular Poset Orthomodular Lattice Boolean Algebra Lattice Effect Algebra Proposional Calculus Logic of Quantum Mechanics Many-Valued Logic Deductive System Sequent Calculus Implication Algebra Effect Groupoid Effect Groupoid-based Logic
Zadání práce
V práci se student zaměří na základní pojmy a vlastnosti efektových algeber a jejich souvislost s neklasickými logikami, zejména kvantovými.
Administrativní informace
Práce zkontrolována:
5. 1. 2018 09:08, prof. RNDr. Jan Paseka, CSc., učo 1197
Plný text práce
734,7 KB / soubor PDF
Jazyk práce
čeština čeština
Termín obhajoby
14. 2. 2018
Práce byla úspěšně obhájena

Vedoucí

prof. RNDr. Jan Paseka, CSc., učo 1197
ÚMS Ústavy PřF MU

Oponent

Mgr. David Kruml, Ph.D., učo 3442
ÚMS Ústavy PřF MU

Literatura

  • DVUREČENSKIJ, Anatolij. New Trends in Quantum Structures. Bratislava: Kluwer Acad. Publ., 2000, 541 s. ISBN 0-7923-6471-6.
Citovat tuto práci
Masarykova univerzita Přírodovědecká fakulta
Studijní program
Matematika
Obor

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

Podobné práce

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.