9.2.2011 - Mlček

Tak povídejte, jaké to bylo? :)

Byl jsem jeden z bonifikovaných takže o písemce nevím ale, co jsem slyšel o minulých termínech tak ústní zkouška se trochu lišila od předchozích (možná ne, ale co je tady na fóru a co mi říkali ostatní mě v tom utvrzuje). Vzal si nás (byli jsme 4) někam vedle, a zeptal se nás kdo umí nerozhodnutelnost, přihlásili jsme se 2 (včetně mě) a z nás vybral toho druhého aby si připravil nerozhodnutelnost a mě se zeptal co umim. Řekl jsem že umím tu nerozhodnutelnost dost dobře, tak mi ji taky dal. Tzn. jsem si v podstatě mohl vybrat !!! o čem budu mluvit. Těm co neuměli nerozhodnutelnost nabídl eliminaci kvantifikátorů, oni přijali. Pak sme všichni měli čas si téma připravit a postupně si nás bral a povídal si s námi o tom. To je prý taky novinka, slyšel jsem, že na předchozích termínech položil téma a člověk měl hned povídat.
Z nerozhodnutelnosti sem ve zkratce sepsal definice (sigma, pi, delta formule/množiny a jejich vlastnosti, rekurzivní množina, zavedení rekurzívniho jazyka a proč se tak zavádí) pak jsem zmínil pár vět o rozhodnutelnosti (kriteria,..) bez dukazů, v rozhodnutelnosti jsem sepsal důkaz nerozhodnutelnosti extenze robinsonovy aritmetiky a zmínil silně nerozhodnutelné struktury a že standartní model N je jedna z nich. Před tím než jsem začal o nerozhodnutelnosti tak mi nabídl 2ku ale já se nedal a pokračoval tím důkazem. Nakonec mě ještě trochu ostřeloval ptal se na věty co sem nezmínil stylem: kolik neekvivalentních extenzí má bezesporná rekurzivně axiomatizovaná extenze Q [kontinuum], ale nakonec mi dal 1ku (asi kvůli tomu důkazu).
Přede mnou byl jeden člověk, dostal 2ku, ostatní nevím.

No, dneska písemka docela brutální (bude zase na webu), podle mě obtížnost písemky pořád roste :(

Ale aspoň trochu polevil v požadavcích na počet bodů aby nevyhazoval rovnou, tzn ještě 2,5 nebo 3 body stačily na ústní, kde se ptal na věci z písemky. A pak teda udělal ještě jednu laskavost a to, že těm lidem, který už neuspěli někdy předtím, tenhle termín nezapsal. Ty co psali písemku, tak bych řekl že udělalo tak 50%, ale nevim o žádný jedničce ani dvojce.

Ze ja sem tam sel hnedka ze zacatku.. :-D

Už to máte zapísané v SISe?

Na jaké otázky se ptal lidi co se dostali přes písemku na ústní? Nevíte někdo? :)

Na ty věci, co byly v písemce špatně. Ty lidi, co odevzdali písemku úplně na konci, bral jako první.