od peci1 » 25. 1. 2012 11:06
Ahoj, ted pri uceni me napadla kacirska myslenka (pote jsem si ji vyvratil, ale treba nekoho taky poskadli, tak to sem pisu
).
Co takhle nahradit
timto:
Kód: Vybrat vše
function R(x) {
if (P(x))
R(f(x));
}
Zda se, ze druha funkce by mohla byt PRF! A presto dela to same, co while! Jak to? Nehrouti se vse, co jsme se ucili? No, nehrouti
Ona totiz ta druha funkce (ac neobsahuje while) neni PRF. Zkuste si ji zapsat v tom odpornem formalismu. Neco jako
)
(tomuhle formalismu se moje hlava brani, takze to urcite neni presne, ale myslenka je snad zrejma). Jenze ten formalismus je potreba rozepsat do posledni zakladni funkce. A to je ten kamen urazu. Takhle rozepsany by byl samozrejme nekonecny, coz jsme si (snad?) zakazali.
Takze si vesele uzivejte zivota, konec sveta neprichazi dnes, jeste mame skoro 11 mesicu
Ahoj, ted pri uceni me napadla kacirska myslenka (pote jsem si ji vyvratil, ale treba nekoho taky poskadli, tak to sem pisu :) ).
Co takhle nahradit
[code]while(P(x)) {
x = f(x);
}
[/code]
timto:
[code]function R(x) {
if (P(x))
R(f(x));
}
[/code]
Zda se, ze druha funkce by mohla byt PRF! A presto dela to same, co while! Jak to? Nehrouti se vse, co jsme se ucili? No, nehrouti :) Ona totiz ta druha funkce (ac neobsahuje while) neni PRF. Zkuste si ji zapsat v tom odpornem formalismu. Neco jako [latex]g = S_m^n (g, f)[/latex] (tomuhle formalismu se moje hlava brani, takze to urcite neni presne, ale myslenka je snad zrejma). Jenze ten formalismus je potreba rozepsat do posledni zakladni funkce. A to je ten kamen urazu. Takhle rozepsany by byl samozrejme nekonecny, coz jsme si (snad?) zakazali.
Takze si vesele uzivejte zivota, konec sveta neprichazi dnes, jeste mame skoro 11 mesicu :-D