ahoj...
pokud jste tam někdo byl... bylo by moc fajn kdybyste sem hodili zadání...
Zkouška 11.9
-
- Matfyz(ák|ačka) level II
- Příspěvky: 53
- Registrován: 26. 1. 2006 12:42
- Typ studia: Informatika Bc.
- Bydliště: Praha... VSE/MATFYZ
Zkouška 11.9
Minsk will lead with blade and sword Boo will sort out the details
Noo ja mam
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
No dobre...
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
http://www.kaiser-sro.cz/pisomka_11_9_07.pdf
-
- Matfyz(ák|ačka) level II
- Příspěvky: 53
- Registrován: 26. 1. 2006 12:42
- Typ studia: Informatika Bc.
- Bydliště: Praha... VSE/MATFYZ
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 .)
-|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 .)
Minsk will lead with blade and sword Boo will sort out the details