od Che » 19. 2. 2009 12:01
Jakobicek píše:
1)Charakterizace rekurzivních a rekurzivně spočetných množin pomocí ČRF - nejsem si úplně jistý jestli se tím mysleli věty o úsekových ČRF nebo jenom ta část s obor hodnot ČRF = RSM... proč to nevím viz níže... když tak můžete někdo doplnit...
Myslely se tím věty o úsekových ČRF - v zadání bylo ještě něco ve smyslu "s ohledem na obory
hodnot". Jinak potvrzuju, že Kučera kontroluje opravdu velmi rychle, ikdyž mně "zeskenoval" vše, co jsem napsal.
Btw. Kučera říkal, že kromě těch 2 termínů, co už vypsal, asi ještě v létě vypíše další dva termíny. Mně už to ale naštěstí může být jedno...
[quote="Jakobicek"]
1)Charakterizace rekurzivních a rekurzivně spočetných množin pomocí ČRF - nejsem si úplně jistý jestli se tím mysleli věty o úsekových ČRF nebo jenom ta část s obor hodnot ČRF = RSM... proč to nevím viz níže... když tak můžete někdo doplnit...
[/quote]
Myslely se tím věty o úsekových ČRF - v zadání bylo ještě něco ve smyslu "s ohledem na obory [b]hodnot[/b]". Jinak potvrzuju, že Kučera kontroluje opravdu velmi rychle, ikdyž mně "zeskenoval" vše, co jsem napsal.
Btw. Kučera říkal, že kromě těch 2 termínů, co už vypsal, asi ještě v létě vypíše další dva termíny. Mně už to ale naštěstí může být jedno... :)