[Zk] 7.3.2008

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.
Korchy

[Zk] 7.3.2008

Příspěvek od Korchy »

Kód: Vybrat vše

1) Univerzální ČRF nemá ORF rozšíření.
2) K0 není rekurzivní.
2) Pruduktivní <=> úplně produktivní.
Celkem pěkné zadání :) Alespoň já si nestěžoval :)
Odpovědět

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