[Zk] 19. 6. 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.
marion
Matfyz(ák|ačka) level II
Příspěvky: 69
Registrován: 4. 10. 2008 11:05
Typ studia: Informatika Mgr.
Kontaktovat uživatele:

[Zk] 19. 6. 2013

Příspěvek od marion »

Na zkoušce jsem byla sama a možná i proto se to pan doc. snažil urychlit. Zadání jsem dostala:

1) definování rekurzivních a rekurzivně spočetných množin pomocí "hezkých" funkcí (tzn. úsekových ČRF)
2) Konstrukce rekurzivně neoddělitelných množin

U 2. otázky jsem měla potřebné definice a zadefinované množiny a dokazovala jsem jejich rekurzivní neoddělitelnost. Bylo tam několik nepřesností. U 2. otázky jsem měla RM jako obor hodnot rostoucích úsekových ČRF + důkaz a RSM jako obor hodnot prostých úsekových ČRF. => za 2
Odpovědět

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