[solved] "jednoducha" implikace ve svazech

Struktury, s nimiž se studenti již setkali (relace, algebraické struktury, struktury spojitosti); specifické vlastnosti, srovnání. Různé konstrukce (podobjekty, ekvivalence a kongruence, součiny, sumy a pod.) a jejich společné rysy. Zvláštní pozornost bude věnována částečným uspořádáním, a to jak obecným záležitostem, tak i aspektům speciálního významu pro informatiku. Některá základní fakta teorie kategorií.
Uživatelský avatar
kaja
Matfyz(ák|ačka) level II
Příspěvky: 99
Registrován: 20. 12. 2007 00:53
Typ studia: Informatika Bc.
Bydliště: Miðgarðr
Kontaktovat uživatele:

[solved] "jednoducha" implikace ve svazech

Příspěvek od kaja »

Zdravim,

pokazde, kdyz se to ucim (ze skript), zaseknu se na tehle "jednoduche" implikaci ve svazech (nemodularnich), co by mela byt videt jednoduse. Nejak nevim, co s tim.
2.1.1 Poznámka. Uvědomte si, že implikace
a ≤ c => a ∨ (b ∧ c) ≤ (a ∨ b) ∧ c
platí vždy. V modularitě jde tedy o opačnou nerovnost.
v modularnich tam pak je rovnitko. Je to na strance 48. Zaseknu se tam fakt pokazdy :(
Naposledy upravil(a) kaja dne 14. 9. 2009 14:09, celkem upraveno 1 x.
PONIES
Him
Supermatfyz(ák|ačka)
Příspěvky: 400
Registrován: 25. 1. 2008 19:59
Typ studia: Informatika Bc.

Re: [unresolved] "jednoducha" implikace ve svazech

Příspěvek od Him »

Pracoval jsem na poměrně hodně materiálech pro různé předměty. Pokud Ti něco z toho ušetřilo čas, vyjádři svůj dík v podobě pár satoshi: 1H5JPTrsXie7epAQXbXhMjdgwyLbJ5NHBW ;)
Uživatelský avatar
kaja
Matfyz(ák|ačka) level II
Příspěvky: 99
Registrován: 20. 12. 2007 00:53
Typ studia: Informatika Bc.
Bydliště: Miðgarðr
Kontaktovat uživatele:

Re: [unresolved] "jednoducha" implikace ve svazech

Příspěvek od kaja »

díky, je to ono.

co mi nedošlo je, že
b ∧ c ≤ b ≤ a ∨ b
PONIES
Odpovědět

Zpět na „MAI064 Matematické struktury“