# 9.2.2011 - Mlček

<{ForumPost(poster="rumlcajs", timestamp=2011-02-09 15:00:39)}>
Tak povídejte, jaké to bylo? :)
<{/ForumPost}>

<{ForumPost(poster="Tommassino", timestamp=2011-02-09 15:13:09)}>
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.
<{/ForumPost}>

<{ForumPost(poster="Jookyn", timestamp=2011-02-09 15:55:14)}>
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.
<{/ForumPost}>

<{ForumPost(poster="Borivoj", timestamp=2011-02-09 16:22:02)}>
Ze ja sem tam sel hnedka ze zacatku.. :-D
<{/ForumPost}>

<{ForumPost(poster="a", timestamp=2011-02-09 16:47:29)}>
Už to máte zapísané v SISe?
<{/ForumPost}>

<{ForumPost(poster="rumlcajs", timestamp=2011-02-10 10:12:58)}>
Na jaké otázky se ptal lidi co se dostali přes písemku na ústní? Nevíte někdo? :)
<{/ForumPost}>

<{ForumPost(poster="Tomgr", timestamp=2011-02-10 11:22:13)}>
Na ty věci, co byly v písemce špatně. Ty lidi, co odevzdali písemku úplně na konci, bral jako první.
<{/ForumPost}>