[Zk] 1.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.
Uživatelský avatar
Blaf
Matfyz(ák|ačka) level I
Příspěvky: 12
Registrován: 28. 1. 2008 12:13
Typ studia: Informatika Bc.

[Zk] 1.2.2010

Příspěvek od Blaf »

1) Univerzalni funkce pro CRF se neda rozsirit na ORF
2) f je prosta CRF => f-1 je CRF
3) Produktivni <=> Uplne produktivni
Odpovědět

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