[Zk] 9.1. 2013 (předtermín)

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.
Kaelthar
Matfyz(ák|ačka) level I
Příspěvky: 10
Registrován: 29. 1. 2013 22:55
Typ studia: Informatika Mgr.

[Zk] 9.1. 2013 (předtermín)

Příspěvek od Kaelthar »

Zadané otázky :

1) Konstrukce simple množiny
2) Důkaz ekvivalence A je 1-úplná <=> A je m-úplná <=> A je kreativní

Bylo nás jen 6 a zkouška probíhala v kanceláři pana Kučery. Zadal otázky a pak postupně chodil mezi námi a koukal co kdo napsal. Když někdo dokončil jednu otázku tak si vzal papír a napsal na něj co se mu nelíbí popřípadě co chce ještě doplnit. Můj subjektivní dojem je ten, že když vidí že tomu rozumíte ale někde se zaseknete tak se snaží postrčit k řešení, popřípadě dá jednoduchou doplňující otázku.
Odpovědět

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