|
spatny-clovek.jpg
(franta_) (19.11.2012 12:09)
|
|
Kdyz reknes ze obe strany rovnice vyjdou prazdna mnozina, tak tim rikas pro vsechny kombnace mnozin Ai plati, ze obe strany vyjdou prazdna mnozina. Jasne ze je mozne, aby obe strany rovnice vysly prazdna mnozina, trivialne pro A1=A2=A3=A4=... ={}. Takove pozorovani ovsem neni nikterak zajimave. Dukaz co jsem napsal dole je korektni a dokazuje, ze jsou obe strany rovnice rovny pri jakychkoliv |mnozinach Ai| >=4 |
|
|
spatny-clovek.jpg
(pc2005) (18.11.2012 23:18)
|
franta_: Protipříklad  {1,2,3} {2,3,4} {1,2,3} {1,2} ... ({2} u {1,2,3}) - {1,2,3,4} = {1,2,3} - {1,2,3,4} = {}
Mě to tak vyšlo jen proto, že jsem si v tom grafickém znázornění ty množiny očísloval právě tak jak jsem si je očísloval. Když jsem je očísloval jinak tak vyšla jedna část množiny na konci. Ono je právě jedno co tam dosadíš a co ti vyjde, jen musí při stejných hodnotách vyjít obě strany rovnice stejně. |
|
|
spatny-clovek.jpg
(franta_) (17.11.2012 23:57)
|
Ne fakt ne  . protipriklad, {1,2,3} {2} {1,2,3} {2}. ({2} u {1,2,3}) \ {2} = {1,2,3} \ {2} = {1,3} |
|
|
spatny-clovek.jpg
(pc2005) (17.11.2012 17:50)
|
|
franta_: Já si to zkusil vyřešit přes diagramy a vypadá to, že obě strany vyjdou "prázdná množina" . |
|
|
spatny-clovek.jpg
(franta_) (17.11.2012 15:11)
|
|
Haha, rouming maze bez varovani backslashe. Tedy zajemci o overeni si naznaku dukazu si musi doplnit backslash (rozdil mnozin) vsude, kde chybi mnozinovy operator. |
|
|
spatny-clovek.jpg
(franta_) (17.11.2012 15:09)
|
|
Ne ze by me to moc bavilo, ale ze srandy jsem si zkusil vyresit a) a plati to. Naznak reseni. Necht ux Ax je sjednoceni pres vsechny mnoziny, nx Ax je prunik pres vsechny mnoziny, ui Ai sjednoceni pres liche uI pres sude, atp. snadno nahledneme ze (A u B) C = AC u BC. Tedy plati (nxAx uI Al) u (niAiulAl). (nxAx uI Al) je podmnozina (niAiulAl) (lze snadno nahlednout), tedy leva strana je (niAiulAl). Prava strana je niAiuIAl (snadno nahledneme ze niAi n uiAi = niAi). Strany se rovnaji, Q.E.D. |
|
|
spatny-clovek.jpg
(Dommy73) RP (16.11.2012 22:05)
|
|
Nemám tucha, mám jiný zadání a tam mi minimálně jedna z těch dvou rovnic neplatí (dokázáno protipříkladem). Teď se snažím vyvrátit i tu druhou
Ale jednotlivý zadání se liší jen operacema a indexama, takže bych řekl, že jich strašně moc musí nevycházet. Samozřejmě říct, že neplatí je ale za 0 bodů, musíme to právě matematicky dokázat :/ |
|
|
spatny-clovek.jpg
(pc2005) (16.11.2012 21:39)
|
|
A platí teda nebo ne? |
|
|
spatny-clovek.jpg
(franta_) (16.11.2012 17:22)
|
|
Dukaz O.o. To jsem na mff jeste nepotkal . Tak to je v tom pripade tezky priklad, omlouvam se . |
|
|
spatny-clovek.jpg
(Kombucha!) RP (16.11.2012 10:35)
|
|
Franta: Ten príklad nie je tak triviálny, pretože ho nestačí len vypočítať, ale treba ho aj dokázať. To na screenshote ale nevidieť už. |
|
|
spatny-clovek.jpg
(Dommy73) RP (16.11.2012 4:34)
|
|
Lol, to je sranda, jak se na mff studenti snaží měřit délku svého virtuálníáho penisu se studenty, kteří jsou pravděpodobně na jiném oboru. PS trochu si zpřehledněte stránky, vypadají šíleně na to, že máte tam mít i program informatiky. |
|
|
spatny-clovek.jpg
(franta_) (16.11.2012 0:27)
|
|
Lol, to je sranda, jak na fi.muni masturbujou tamejsi studenti nad trivialnima prikladkama. Bych vam dal nekdy okusit nasi (mff) logiky, abyste vedeli, zac je toho loket. |
|
|
spatny-clovek.jpg
(Manslayer) RP (15.11.2012 23:15)
|
|
mi nieco vrav... to sa vobec dostat na skusku bude zlozite |
|
|
spatny-clovek.jpg
(Dommy73) RP (15.11.2012 23:14)
|
|
mno... řekl bych, že až se na to podívám, tak něco vypotím, mám to v plánu na víkend... (společně s lineárníma modelama, protože společně s 90% lidí je v tomhle semestru zatím moc nedávám ) |
|
|
spatny-clovek.jpg
(Manslayer) RP (15.11.2012 23:01)
|
|
dommy vies s tym vobec pohnut? mne to nejak uteka |
|
