[Zk] 20.1.2014

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.
guthro
Matfyz(ák|ačka) level I
Příspěvky: 10
Registrován: 12. 4. 2013 10:07
Typ studia: Informatika Bc.

[Zk] 20.1.2014

Příspěvek od guthro »

Bylo nás 12, byly dvě otázky, obě tradiční:¨
1)generování množin hezkými funkcemi
2)Produktivní množina má produktivní fci, která je ORF

Ta dvojka je teda odporná věc, ale těch věcí které se na zkouškách opakují není zase tolik, a pokud se zaseknete na nějakém odvození, pan Kučera vám za to hlavu neutrhne... Když jsem se na konci pral se zbytkem důkazu, řekl že pokud chci dvojku tak mi jí dá...
Odpovědět

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