Zkouška 11.9

Jakobicek
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

Příspěvek od Jakobicek »

ahoj...
pokud jste tam někdo byl... bylo by moc fajn kdybyste sem hodili zadání... 8)
Minsk will lead with blade and sword Boo will sort out the details
StudentXYZ

Noo ja mam

Příspěvek od StudentXYZ »

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
StudentXYZ

No dobre...

Příspěvek od StudentXYZ »

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
StudentXYZ

Reseni ?

Příspěvek od StudentXYZ »

Nejake napady ? napriklad na stvrty priklad ??? Zide sa kazda myslienka. Vopred dik za nejake postrehy.
Jakobicek
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

Příspěvek od Jakobicek »

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 .)
Minsk will lead with blade and sword Boo will sort out the details
StudentXYZ

hmm

Příspěvek od StudentXYZ »

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

Zpět na „2006“