[Zk] 29.9.2011

Základní přednáška z teorie algoritmů a efektivní vyčíslitelnosti. Turingovy stroje. Částečně rekurzivní funkce. Rekurzivní a rekurzivně spočetné množiny. Algoritmicky nerozhodnutelné problémy. Věta o rekurzi. Kreativní množiny.
MarPol
Matfyz(ák|ačka) level I
Příspěvky: 28
Registrován: 11. 10. 2006 11:01

[Zk] 29.9.2011

Příspěvek od MarPol »

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č.
Odpovědět

Zpět na „TIN064 Vyčíslitelnost I“