od Trupik » 20. 1. 2009 14:30
Ve skriptech je dvojná forma věty o rekurzi ve dvou zněních (ve druhém jsou funkce f a g k+2 proměnných), první znění je dokázáno, druhé ne, asi z prvního nějak vyplývá, ale já nevidím jak, neví to někdo? Předpokládám, že to bude jen nějaká technická aplikace jiných vět, ale stejně se mi to nepovedlo.
Díky.
Ve skriptech je dvojná forma věty o rekurzi ve dvou zněních (ve druhém jsou funkce f a g k+2 proměnných), první znění je dokázáno, druhé ne, asi z prvního nějak vyplývá, ale já nevidím jak, neví to někdo? Předpokládám, že to bude jen nějaká technická aplikace jiných vět, ale stejně se mi to nepovedlo.
Díky.