[Zk] 27. 6. 2012

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.
el enfant
Matfyz(ák|ačka) level I
Příspěvky: 38
Registrován: 31. 1. 2006 17:14
Typ studia: Informatika Bc.

[Zk] 27. 6. 2012

Příspěvek od el enfant »

1. Lemma o selektoru
2. Riceova věta
Podle zadání bych 50% úmrtnost nečekal...
Odpovědět

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