Už se to tu na fóru řešilo a vyřešilo (je to asi sedmá reakce ve vláknu): http://forum.matfyz.info/viewtopic.php?f=209&t=3265kaktus64 píše:otázka 1: Vie niekto poradiť ako to teda je s tou jednoduchou nerovnosťou v (a ^ b)** <= a** ^ b** ?
Nalezeno 10 výsledků hledání
Přejít na rozšířené vyhledávání
- 6. 6. 2009 15:03
- Fórum: MAI064 Matematické struktury
- Téma: Snadno nahlédneme...
- Odpovědi: 8
- Zobrazení: 5305
Re: Snadno nahlédneme...
- 8. 1. 2009 16:12
- Fórum: DBI007 Organizace a zpracování dat I
- Téma: Par drobnosti
- Odpovědi: 5
- Zobrazení: 5042
Re: Par drobnosti
3) Delete z B stromu. Puvodne jsem si myslel, ze kdyz mam B strom X1 a mazu prvek A, tak hledam takovy B strom X2, ze kdyz do nej pridam prvek A, dostanu strom X1, tedy proste inverzni operace. To ale neni pravda, protoze treba mazani z korene znamena, ze vezmu nejmensi vetsi v listech a vymenim. N...
- 24. 6. 2008 09:45
- Fórum: 2007
- Téma: Par dotazu pred zkouskou
- Odpovědi: 19
- Zobrazení: 7783
Re: Par dotazu pred zkouskou
zjistil jsem, ze komutativita scitani v Peanove aritmetice se tu na foru uz resila a da se najit na http://www.peklo.unas.cz/
presneji http://www.peklo.unas.cz/logika/peano2.pdf
presneji http://www.peklo.unas.cz/logika/peano2.pdf
- 23. 6. 2008 16:01
- Fórum: 2007
- Téma: Par dotazu pred zkouskou
- Odpovědi: 19
- Zobrazení: 7783
Re: Par dotazu pred zkouskou
Premyslel jsem, jak z toho meho neformalniho dukazu udelat formalni. Ve skoro kazdem kroku pouzivam vetu o rovnosti (diky ni muzu cast formule nahradit tim, cemu se to rovna). Nakonec by se asi sluselo to vsechno dosadit do axiomu indukce a odvodit, ze plati to, co jsme chteli. nejprve pro nulu: 1) ...
- 23. 6. 2008 15:25
- Fórum: 2007
- Téma: Par dotazu pred zkouskou
- Odpovědi: 19
- Zobrazení: 7783
Re: Par dotazu pred zkouskou
Jeste takovy trapny dotaz: odkud jste se ucili treba dokazovani v Peanove aritmetice? Ja ve skriptech snad ani nenasel axiomy, natoz tak nejake navody na to, jak dokazovat... axiomy Robinsonovy a Peanovy aritmetiky mas v prednasce "Predikátová logika 6" http://ktiml.ms.mff.cuni.cz/vyuka/m...
- 20. 6. 2008 17:57
- Fórum: 2007
- Téma: Par dotazu pred zkouskou
- Odpovědi: 19
- Zobrazení: 7783
Re: Par dotazu pred zkouskou
Jen teda by se tam sluselo dopsat, treba k tomu bodu jedna, ze: |- A->A (V1) A |- A (VD) Myslim, ze to s (v1) tady neni potreba. Vtip je v tom, ze pri dukazu (definice) je kazdy krok bud axiom nebo odvozeni z minulych pomoci MP. Pri dukazu z predpokladu T (definice) je kazdy krok bud axiom nebo for...
- 20. 6. 2008 17:31
- Fórum: 2007
- Téma: Par dotazu pred zkouskou
- Odpovědi: 19
- Zobrazení: 7783
Re: Par dotazu pred zkouskou
nahrazeni non non B za B:
O tom je cela Veta o Ekvivalenci.
Takze pred tim, nez dokazes vetu o ekvivalenci to nemuzes delat primo (musis pouzit napr. (v3) nebo (v4) + MP).
Kdyz si dokazes vetu o ekvivalenci, tak uz muzes nahrazovat kdekoliv cokoliv.
O tom je cela Veta o Ekvivalenci.
Takze pred tim, nez dokazes vetu o ekvivalenci to nemuzes delat primo (musis pouzit napr. (v3) nebo (v4) + MP).
Kdyz si dokazes vetu o ekvivalenci, tak uz muzes nahrazovat kdekoliv cokoliv.
- 20. 6. 2008 17:02
- Fórum: 2007
- Téma: Par dotazu pred zkouskou
- Odpovědi: 19
- Zobrazení: 7783
Re: Par dotazu pred zkouskou
Myslim, ze to, co napsal Medved taky neni k zahozeni - je to vlastne takova priprava na formalni dukaz. Z Medvedova bodu 1) se dozvime, ze pro zacatek dukazu vezmeme teorii T={A->B,B->C,A} a budem z ni chtit dokazat C, nakonec pouzijeme trikrat vetu o dedukci opacnym smerem. Formalni dukaz (praktick...
- 1. 2. 2008 15:23
- Fórum: PRG005 Neprocedurální programování
- Téma: zkouska 1.2
- Odpovědi: 2
- Zobrazení: 2819
Re: zkouska 1.2.
Pokud si to dobře pamatuji, velký příklad byl: Řídíte letiště. Máte časy příletu a odletu letadel (každé letadlo právě jednou přiletí a odletí). Dále máte ke každému letadlu výčet bran, ke kterým ho můžete přistavit (bude tam stát dokud neodlétne). Pokud se některé letadlo při příletu nevejde k žádn...
- 6. 6. 2007 23:04
- Fórum: 2006
- Téma: Klazar zkouška z analýzyII 31.5.2007
- Odpovědi: 0
- Zobrazení: 2702
Klazar zkouška z analýzyII 31.5.2007
Přišli jsme jen tři. Zadání bylo: 1) Najděte všechny primitivní funkce k f(x) = x*exp(x)*sin(x) 2) Definujte pojmy: funkce stejnoměrně spojitá na intervalu, množina (Lebesgueovy) míry nula 2a) Rozhodněte, pro které hodnoty parametru alfa z intervalu <0> je funkce f(x) = x(umocněno na alfa) * sin(1/x...