Zkouska 6.3.2009

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.
Control

Zkouska 6.3.2009

Příspěvek od Control »

Prihlaseno 20/25, prislo 16.
Jeden student dropnul hned po napsani otazek.

1. Vlastnosti mnoziny K - [ Rekurzivni? Rekurzivne spocetna? Produktivni? 1-Uplna? Kreativni? ]
2. Dukaz: Produktivni mnozina ma nekonecnou rekurzivne spocetnou podmnozinu.

Budou 1-2 terminy v letnim zkouskovem obdobi.

1.otazku Jsem mel komplet. K druhe 2. jen definice. Vysledek za 3.

Muj 1.termin. 4dny uceni na fulltime ve dvou lidech [nauceno 75% obsahu predmetu na 100%[vse vcetne dukazu] zbytek velmi povrchne].
Doporucuju Hypizovy vypisky [cca. 14stran na http://www.hippies.matfyz.info/stranka. ... o=poznamky ], prokladat "skripty Petra Hoska a poznamkami Martina Trcky". Na Vety o rekurzi dost pomuze z Johanka. Hlavne se na zacatku neseknete na definicich operatoru, turingovych strojich. Cely den jsem zbytecne stravil pokusy o programovani v CRF, hranim s kodovanim TS aj. technickymi detaily. Coz je NAPROSTO zbytecne.
Dulezite jsou dobre pochopene definice a vety.
U dukazu staci rozumet myslence - p. Kucera postrci.

Good luck!!
Odpovědět

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