od stinny » 23. 1. 2009 12:44
Padly 3 otazky, vicemene nic noveho:
1) Lemma o selektoru
2) Dokázat, že B = {x : W_x != {} } není rekurzivní
3) Důkaz, že existuje obecně rekurzivní produktivní funkce
Odchazel jsem asi po hodine a pul s jednickou, prede mnou odeslo cca 5 uspesnych lidi.
Padly 3 otazky, vicemene nic noveho:
1) Lemma o selektoru
2) Dokázat, že B = {x : W_x != {} } není rekurzivní
3) Důkaz, že existuje obecně rekurzivní produktivní funkce
Odchazel jsem asi po hodine a pul s jednickou, prede mnou odeslo cca 5 uspesnych lidi.