[Zk] 29.1.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.
space_man
Matfyz(ák|ačka) level I
Příspěvky: 9
Registrován: 7. 6. 2006 18:43

[Zk] 29.1.2010

Příspěvek od space_man »

Tak po predchozim neuspechu to dnes konecne vyslo, otazky byly nasledujici:

1) Dokazte: ze PRF nema univerzalni PRF funkci
2) Generovani RS a R mnozin (vety o usekovych funkcich, ...)
3) Dokazte: Pruduktivni <=> Uplne produktivni
Odpovědět

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