[Zk] 25.01.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.
Dr.Zlo

[Zk] 25.01.2010

Příspěvek od Dr.Zlo »

1] Konstrukce simple mnoziny
2] Veta o rekurzi + Riceova veta

ad 1] Zde ocekavejte otazku: jak zjistujete potrebna y > 2x? A pote otazku, dobre a jak teda funguje selektor a co ze to vlastne minimalizuje.
ad 2] Vse s dukazy.
Odpovědět

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