Fórum studentů MFF UK

kaktus64 píše:otázka 1: Vie niekto poradiť ako to teda je s tou jednoduchou nerovnosťou v (a ^ b)** <= a** ^ b** ?

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=3265

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...

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

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) ...

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...

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...

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.

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...

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...

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...