od MarPol » 30. 9. 2011 19:39
1) Věta o rekurzi a Rice
2) Vztah RM a RSM s obory hodnot ČRF
Jednoduché zadání, ale musel mi hodně napovídat, abych mu řekl, jak funguje věta o selektoru (hledá se nejmenší zakódovaná dvojice výsledek a počet kroků), takže mi byla nabídnuta 2 nebo těžší příklad a utíkal jsem pryč.
1) Věta o rekurzi a Rice
2) Vztah RM a RSM s obory hodnot ČRF
Jednoduché zadání, ale musel mi hodně napovídat, abych mu řekl, jak funguje věta o selektoru (hledá se nejmenší zakódovaná dvojice výsledek a počet kroků), takže mi byla nabídnuta 2 nebo těžší příklad a utíkal jsem pryč.