[Zk] 11.2.2013

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
Davpe
Matfyz(ák|ačka) level II
Příspěvky: 98
Registrován: 22. 9. 2010 16:07
Typ studia: Informatika Bc.
Kontaktovat uživatele:

[Zk] 11.2.2013

Příspěvek od Davpe »

Na zacatku pan Kucera povidal historku, jak je dneska podvadeni vynalezave, nebot kdysi nekdo u statnic mel naslouchatko a vysilacku a nekdo mu takhle na dalku radil :)

Otazky (zminil se ze jeho otazky jsou uz docela proflakle, protoze je porad dava dokola)
1) Charakterizace RSM a RM pomocí hezkých funkcí
2) Produktivni funkce ma produktivni ORF

K te první otazce:
jsou to vety:
RM je prave obor hodnot CRF f usekove a rostouci
RSM je prave obor hodnot CRF f usekove a proste

Pokud to umite, je to pohodova zkouska, pan Kucera nebaziruje na detailech - prave naopak, snazi se vas co nejrychleji dostat k uspesne znamce (nebo naopak vas co nejrychleji presvedcit, abyste prisli priste, pokud se mu zda ze by to bylo ku prospechu)

Jinak budou i terminy v letnim zkouskovem.
Odpovědět

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