Zk. 12.02.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. 12.02.2010

Příspěvek od mr.kvak »

1] Charakterizujte rekurzivni a rekurzivne spocetne mnoziny pomoci oboru hodnot (nej.) CRF
2a] Konstrukce efektivne neoddelitelne dvojice
2b] Ef. neoddelitelne = 1-uplne dvojice (pro ty, kteri chteli jednicku)
Odpovědět

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