Zkouška 11.9

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:
BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí
Přehled tématu
   

Rozšířit náhled Přehled tématu: Zkouška 11.9

hmm

od StudentXYZ » 15. 9. 2007 22:11

noo vyzera to celkom rozumne..aj ked ja to nemozem nejako ohodnotit...
neviete nahodou niekto ako riesit dalsie priklady ?...

od Jakobicek » 14. 9. 2007 22:30

bud A(z)==(z=f(x))

-|f(x)=f(x) axiom rovnosti R1, coz je totez jako A[z->f(x)]

tedy
-|A[z->f(x)] -> <ex z> A(z)

podle vety o variantach je to totez jako
-|<ex y> A(y)

schematem generalizace dostaneme
-|<forall x> <ex y> A(y)

tedy

-|<forall x> <ex y> y=f(x) Q.E.D :?:
opravdu za to nerucim,.... pustte se do me... esli je to blbost .)

Reseni ?

od StudentXYZ » 14. 9. 2007 19:39

Nejake napady ? napriklad na stvrty priklad ??? Zide sa kazda myslienka. Vopred dik za nejake postrehy.

No dobre...

od StudentXYZ » 14. 9. 2007 18:17

Som si povedal ze aj tak nemam co robit...tak aspon sa pohral s LaTeXom a mozno sa nieco aj na mna z tej logiky nalepi... tak tady to je

http://www.kaiser-sro.cz/pisomka_11_9_07.pdf

Noo ja mam

od StudentXYZ » 14. 9. 2007 16:43

JA som tu pisomku tak 'uspesne' napisal ze som ju ani neodovzdal. Ale sa mi to dajak moc nexe prepisovat ta keby ze chces tak mi napis na icq alebo tak nejak....icq:212-829-914 alias [SVK]Michael

Zkouška 11.9

od Jakobicek » 13. 9. 2007 23:37

ahoj...
pokud jste tam někdo byl... bylo by moc fajn kdybyste sem hodili zadání... 8)

Nahoru