|
|
Ortokomplementární diferenční svazy
Havlík, František ; Pták, Pavel (vedoucí práce) ; Matoušek, Milan (oponent)
T ematem t eto diplomov e pr ace je studium bin arn ho oper atoru 4, kter y mode- luje standardn symetrickou diferenci mno zin. Tento oper ator je studov an jednak samostatn e (v kapitole II), jednak s dopl nuj c svazovou strukturou (kapitola III a n asleduj c ). Je zavedena t r da ODL a jsou prozkoum any n ekter e jej z akladn vlast- nosti. D ale je uk az ana t r da HOR, kter a je podt r dou t r dy ODL a m a uzk y vztah ke t r d e Booleov ych algeber. V posledn kapitole je pops ana konstrukce voln eho ortokomplement arn ho diferen cn ho svazu se dv ema gener atory.
|
|
|
Algebraic Metods in Multivalued Logics
Matoušek, Milan ; Pták, Pavel (vedoucí práce) ; Navara, Mirko (oponent) ; Dvurečenskij, Anatolij (oponent)
In the thesis we deal with a binary operation that acts as abstract "symmetric difference". We endow orthocomplemented lattices with this operation and obtain a new class of algebras. We call these algebras orthocomplemented difference lattices (ODLs). We first see that the ODLs form a class that contains Boolean algebras and is contained in orthomodular lattices (OMLs). In the subsequent analysis we study algebraic properties of ODLs (identities valid in classes of ODLs, peculiarities connected with free ODLs, etc.) and find a characterization of set-representable ODLs. We then ask a natural question of which OML can be made (resp. can be enlarged to) an ODL. We exhibit several constructions - quite involved in places - that deepen the understanding of intrinsic properties of ODLs. As a rather surprising result in this line we find a connection with Z2-valued measures. In the end we relax the lattice condition imposed on ODLs. We obtain orthocomplemented difference posets. We then formulate and clarify several questions related to non-lattice "quantum logics".
|
|
|
Ortokomplementární diferenční svazy
Havlík, František ; Matoušek, Milan (oponent) ; Pták, Pavel (vedoucí práce)
T ematem t eto diplomov e pr ace je studium bin arn ho oper atoru 4, kter y mode- luje standardn symetrickou diferenci mno zin. Tento oper ator je studov an jednak samostatn e (v kapitole II), jednak s dopl nuj c svazovou strukturou (kapitola III a n asleduj c ). Je zavedena t r da ODL a jsou prozkoum any n ekter e jej z akladn vlast- nosti. D ale je uk az ana t r da HOR, kter a je podt r dou t r dy ODL a m a uzk y vztah ke t r d e Booleov ych algeber. V posledn kapitole je pops ana konstrukce voln eho ortokomplement arn ho diferen cn ho svazu se dv ema gener atory.
|
|
|
Národní inventura persistentních organických polutantů v České republice: Výroba, použití, nespotřebované zásoby, odpady, hot spots, kontaminovaná místa, emisní inventura
Recetox - Tocoen and Associates, Brno ; Kohoutek, Jiří ; Ocelka, Tomáš ; Jech, Libor ; Adamec, Vladimír ; Machálek, Pavel ; Rieder, Mark ; Kužílek, Vladimír ; Čupr, Pavel ; Petira, Oldřich ; Matoušek, Jiří ; Matoušek, Milan ; Holoubek, Ivan
Analýza oblastí pro hodnocení chemických látek v rámci implementace Stockholmské úmluvy zahrnuje legislativu, výrobu, import/export, použití, zásoby a kontaminovaná místa. V rámci těchto oblastí je zkoumáno zacházení s jednotlivými skupinami POPs látek.
|
host ::
RSS.