od Kubees » 24. 9. 2012 20:10
Hm, tak nikdo nic... a to jesne iniciativne pisu maily lidem co byli prihlaseni na predchozi zkousky a zadna odpoved. Nekteri matfyzaci jsou fakt @#$#$%!!!!
No nic, tak jsem si ulevil se svym nazorem na lidi co nesdili svoje zkusenosti a ted ty moje
Byl jsem dneska u Hrice na zkousce a dostal jsem:
- definovat Herbrandovo univerzum pomoci operatoru bezprostredniho naslendika
- popsat konecnost vypoctu v zavislosti na tvaru LD-stromu (vzdy konci, diverguje, nekonecno odpovedi, atd.)
- dokazat, program sjednoceni(xs, ys, zs) ukoncuje vypocet pomoci stupnoveho zobrazeni (= napsat program, zvolit stupnove zobrazeni, ukazat rekurenci)
Hric byl hodny, na detailech se nebazirovalo, viditelne mu slo o to, jestli znam aspon princip. Prvni otazku jsem uplne vynechal, protoze jsem tohle pri uceni preskocil, coz byl trapas, ale presto jsem byl dokopan k te definici a vysledek za 3. GL.
Celkove ten predmet neni tezky, pro cloveka co zvladl neprocko a LP1 spis relativne lehce ziskane 3 kredity. (imho lehci nez treba UI2, ale zas uplna davacka taky ne
)
Hm, tak nikdo nic... a to jesne iniciativne pisu maily lidem co byli prihlaseni na predchozi zkousky a zadna odpoved. Nekteri matfyzaci jsou fakt @#$#$%!!!! :evil:
No nic, tak jsem si ulevil se svym nazorem na lidi co nesdili svoje zkusenosti a ted ty moje :D
Byl jsem dneska u Hrice na zkousce a dostal jsem:
- definovat Herbrandovo univerzum pomoci operatoru bezprostredniho naslendika
- popsat konecnost vypoctu v zavislosti na tvaru LD-stromu (vzdy konci, diverguje, nekonecno odpovedi, atd.)
- dokazat, program sjednoceni(xs, ys, zs) ukoncuje vypocet pomoci stupnoveho zobrazeni (= napsat program, zvolit stupnove zobrazeni, ukazat rekurenci)
Hric byl hodny, na detailech se nebazirovalo, viditelne mu slo o to, jestli znam aspon princip. Prvni otazku jsem uplne vynechal, protoze jsem tohle pri uceni preskocil, coz byl trapas, ale presto jsem byl dokopan k te definici a vysledek za 3. GL.
Celkove ten predmet neni tezky, pro cloveka co zvladl neprocko a LP1 spis relativne lehce ziskane 3 kredity. (imho lehci nez treba UI2, ale zas uplna davacka taky ne :) )