[Zk] 13.01.2014

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.
Uživatelský avatar
Davpe
Matfyz(ák|ačka) level II
Příspěvky: 98
Registrován: 22. 9. 2010 16:07
Typ studia: Informatika Bc.
Kontaktovat uživatele:

[Zk] 13.01.2014

Příspěvek od Davpe »

1) Konstrukce simple množiny
2) A je kreativní <=> A je 1-úplná (m-úplná)

(ani se neptal, jak u konstrukce simple množiny funguje selektor)
Odpovědět

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