[Zk] 19. 6. 2013
Napsal: 22. 6. 2013 10:54
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
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