Dvojná forma věty o rekurzi

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
Trupik
Matfyz(ák|ačka) level III
Příspěvky: 251
Registrován: 3. 1. 2005 14:45
Typ studia: Informatika Mgr.
Kontaktovat uživatele:

Dvojná forma věty o rekurzi

Příspěvek od Trupik »

Ve skriptech je dvojná forma věty o rekurzi ve dvou zněních (ve druhém jsou funkce f a g k+2 proměnných), první znění je dokázáno, druhé ne, asi z prvního nějak vyplývá, ale já nevidím jak, neví to někdo? Předpokládám, že to bude jen nějaká technická aplikace jiných vět, ale stejně se mi to nepovedlo.

Díky.
Domovská stránka: http://www.jakubmaly.cz/, blog: http://blog.jakubmaly.cz/
Petice proti olympiádě http://olympiada.nazory.cz

Come on you target for faraway laughter,
Come on you stranger, you legend, you martyr, and shine!
Odpovědět

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