Zk. 19.2.2010

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.
mr.kvak

Zk. 19.2.2010

Příspěvek od mr.kvak »

Muzete sem pls. nekdo dat zadani z terminu 19.2.2010?
dik
Odpovědět

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