Zk 23.1.2013
-
- Matfyz(ák|ačka) level I
- Příspěvky: 3
- Registrován: 12. 1. 2011 12:33
- Typ studia: Informatika Mgr.
Zk 23.1.2013
2)
(a)
- f1(x) = 2x
- f2(x) = 2x + 1
(b) Existuje ORF f3 prevadejici A na C, stejne tak i ORF f4 prevadejici B na C. Funkce f5 se bude chovat takto:
- kdyz vstup je sudy, vydeli ho dvema (tim ziska prvek z A) a pusti funkci f3
- kdyz vstup je lichy, odecte od nej 1, vydeli dvema (tim ziska prvek z B) a pusti funkci f4
Takto zadefinovane funkce f1, f2 i f5 jsou ORF, takze m-prevadi podle zadani.
Trojku nevim a co jsem si vytahl na ustni nemusim rikat. Je to o nahode a kazdy muze dostat cokoliv ze seznamu co ma pan Kucera na strankach. Tak hodne stesti vsem, koho to jeste ceka.
-
- Matfyz(ák|ačka) level II
- Příspěvky: 70
- Registrován: 27. 1. 2010 23:14
- Typ studia: Informatika Mgr.
Re: Zk 23.1.2013
skusil som si dat dohromady tu funkciu f5, tak ked tak to niekto skontrolujte:
f_5(x) = ((x + 1) MOD 2) * f_3(x DIV 2) + (x MOD 2) * f_4((x - 1) DIV 2)
f_5(x) = ((x + 1) MOD 2) * f_3(x DIV 2) + (x MOD 2) * f_4((x - 1) DIV 2)
-
- Matfyz(ák|ačka) level I
- Příspěvky: 3
- Registrován: 12. 1. 2011 12:33
- Typ studia: Informatika Mgr.
Re: Zk 23.1.2013
Vypada to spravne .
-
- Matfyz(ák|ačka) level I
- Příspěvky: 13
- Registrován: 24. 1. 2006 15:15
- Typ studia: Informatika Bc.
- Kontaktovat uživatele:
Re: Zk 23.1.2013
Ja mam otazku este k tej jednotke. Ako sa tam pouziva konecna aproximace?
Nestaci to prepisat na: S = {x | Wx obsahuje cele cislo} = {x| (ex.y)Fi_x(y) div 2 = 0} a povedat, ze operacie div a = su rekurzivne spocetne a ex. kvantifikator tu rekurzivnu spocetnost tiez nepokazi a teda cela S je rekurzivne spocetna?
Nestaci to prepisat na: S = {x | Wx obsahuje cele cislo} = {x| (ex.y)Fi_x(y) div 2 = 0} a povedat, ze operacie div a = su rekurzivne spocetne a ex. kvantifikator tu rekurzivnu spocetnost tiez nepokazi a teda cela S je rekurzivne spocetna?
-
- Matfyz(ák|ačka) level II
- Příspěvky: 70
- Registrován: 27. 1. 2010 23:14
- Typ studia: Informatika Mgr.
Re: Zk 23.1.2013
predpokladam, ze co si chcel napisat je:S = {x | Wx obsahuje cele cislo} = {x| (ex.y)Fi_x(y) div 2 = 0}
to je ale cele zle, lebo nemusi byt definovane a tak sa ti ten predikat "zasekne" hned na prvom testovanom . aj keby vsak definovany bol, tak ty nechces modulit funkcnu hodnotu, ale samotne .
konecna aproximacia sa pouzije tak, ze:
-
- Matfyz(ák|ačka) level I
- Příspěvky: 3
- Registrován: 12. 1. 2011 12:33
- Typ studia: Informatika Mgr.
Re: Zk 23.1.2013
Jen na upresneni - predikat se muze "zaseknout" (a neskoncit) prave kvuli tomu, ze se nepouzije konecna aproximace.nemusi byt definovane a tak sa ti ten predikat "zasekne" hned na prvom testovanom y.
Blabla to pise dobre. Tento zapis mnoziny S by taky mel byt v poradku: