Efektové algebry a kvantové logiky /
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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Čeština |
| Vydáno: |
2018
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/371757/prif_m/ |
| LEADER | 03802ctm a22005777i 4500 | ||
|---|---|---|---|
| 001 | MUB01006411199 | ||
| 003 | CZ BrMU | ||
| 005 | 20180305084200.0 | ||
| 008 | 180216s2018 xr ||||| |||||||||||cze d | ||
| STA | |a POSLANO DO SKCR |b 2018-03-12 | ||
| 035 | |a (ISMU-VSKP)280793 | ||
| 040 | |a BOD114 |b cze |d BOD004 |e rda | ||
| 072 | 7 | |a 512 |x Algebra |2 Konspekt |9 13 | |
| 080 | |a 512.5 |2 MRF | ||
| 080 | |a 510.6 |2 MRF | ||
| 080 | |a (043)378.2 |2 MRF | ||
| 100 | 1 | |a Štěpánek, Roman |% UČO 371757 |* [absolvent PřírF MU] |4 dis | |
| 242 | 1 | 0 | |a Effect algebras and quantum logics |y eng |
| 245 | 1 | 0 | |a Efektové algebry a kvantové logiky / |c Roman Štěpánek |
| 264 | 0 | |c 2018 | |
| 300 | |a 50 listů | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a bez média |b n |2 rdamedia | ||
| 338 | |a svazek |b nc |2 rdacarrier | ||
| 500 | |a Vedoucí práce: Jan Paseka | ||
| 502 | |a Diplomová práce (Mgr.)--Masarykova univerzita, Přírodovědecká fakulta, 2018 | ||
| 520 | 2 | |a 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í systémy, pro klasickou logiku zde uvádíme jeden Hilbertovský a jeden Gentzenovský. Dále zavádíme pojem efektového grupoidu, což je struktura ekvivalentní svazové efektové algebře, definujeme efekto-grupoidový odvozovací systém pro svazové efektové algebry a ukazujeme, že je korektní a úplný. |% cze | |
| 520 | 2 | 9 | |a 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 focus on deductive systems, we present one Hilbert-style system and one Gentzen-style system for clasical proposional calculus. Next we define so called effect groupoid, structure equivalent to lattice effect algebra, we define effect groupoid-based deductive system for lattice effect algebras and we show it is sound and complete. |9 eng |
| 650 | 0 | 7 | |a algebraické struktury |7 ph118347 |2 czenas |
| 650 | 0 | 7 | |a matematická logika |7 ph122671 |2 czenas |
| 650 | 0 | 9 | |a algebraic structures |2 eczenas |
| 650 | 0 | 9 | |a mathematical logic |2 eczenas |
| 655 | 7 | |a diplomové práce |7 fd132022 |2 czenas | |
| 655 | 9 | |a master's theses |2 eczenas | |
| 658 | |a Matematika |b Algebra a diskrétní matematika |c PřF N-MA ALG (ALG) |2 CZ-BrMU | ||
| 700 | 1 | |a Paseka, Jan, |d 1962- |7 mub2010589590 |% UČO 1197 |4 ths | |
| 710 | 2 | |a Masarykova univerzita. |b Ústav matematiky a statistiky |7 kn20091211007 |4 dgg | |
| 856 | 4 | 1 | |u http://is.muni.cz/th/371757/prif_m/ |
| CAT | |c 20180216 |l MUB01 |h 0420 | ||
| CAT | |a RACLAVSKA |b 02 |c 20180223 |l MUB01 |h 1525 | ||
| CAT | |a JANA |b 02 |c 20180305 |l MUB01 |h 0842 | ||
| CAT | |c 20180312 |l MUB01 |h 1035 | ||
| CAT | |a HANAV |b 02 |c 20180809 |l MUB01 |h 1049 | ||
| CAT | |c 20210614 |l MUB01 |h 1027 | ||
| CAT | |c 20210614 |l MUB01 |h 2014 | ||
| CAT | |a BATCH |b 00 |c 20210724 |l MUB01 |h 1259 | ||
| CAT | |a POSPEL |b 02 |c 20240605 |l MUB01 |h 0018 | ||
| LOW | |a POSLANO DO SKCR |b 2018-03-12 | ||
| 994 | - | 1 | |l MUB01 |l MUB01 |m VYSPR |1 PRIF |a Přírodovědecká fakulta |2 PRVMA |b ÚK volný výběr - M |3 K-M-2018-ŠTĚP |5 3145372490 |8 20180223 |f 70 |f Prezenční |q 20180803 |r 20180223 |s dar |
| AVA | |a SCI50 |b PRIF |c ÚK volný výběr - M |d K-M-2018-ŠTĚP |e available |t K dispozici |f 1 |g 0 |h N |i 0 |j PRVMA | ||