[Zk] 23.1.2009

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.
stinny
Matfyz(ák|ačka) level I
Příspěvky: 42
Registrován: 23. 1. 2007 15:23

[Zk] 23.1.2009

Příspěvek od stinny »

Padly 3 otazky, vicemene nic noveho:

1) Lemma o selektoru
2) Dokázat, že B = {x : W_x != {} } není rekurzivní
3) Důkaz, že existuje obecně rekurzivní produktivní funkce

Odchazel jsem asi po hodine a pul s jednickou, prede mnou odeslo cca 5 uspesnych lidi.
|- <xs> --> ( <xs> --> <xs> )
Odpovědět

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