Zk [18.1.2008]

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.
Odpovědět
marp
Matfyz(ák|ačka) level I
Příspěvky: 3
Registrován: 1. 2. 2006 20:41

Zk [18.1.2008]

Příspěvek od marp »

1) konstrukce simple mnoziny
2) kreativnost a 1-uplnost
Nahoru
vlk^0R
Matfyz(ák|ačka) level I
Příspěvky: 25
Registrován: 14. 2. 2006 19:16

Re: Zk [18.1.2008]

Příspěvek od vlk^0R »

Co sa tyka mojich pocitov, odchadzal som po 20 minutach s este jednym kolegom.... Stacilo napisat tie veci zo Strojila, p.Kucera to zbehol pohladom, a ked na"match"oval potrebne paterny v texte, tak si hned pytal index...
Nahoru
Odpovědět

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