9.2.2011 - Mlček

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:

BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí

Přehled tématu
   

Rozšířit náhled Přehled tématu: 9.2.2011 - Mlček

Re: 9.2.2011 - Mlček

od Tomgr » 10. 2. 2011 11:22

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

Re: 9.2.2011 - Mlček

od rumlcajs » 10. 2. 2011 10:12

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

Re: 9.2.2011 - Mlček

od a » 9. 2. 2011 16:47

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

Re: 9.2.2011 - Mlček

od Borivoj » 9. 2. 2011 16:22

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

Re: 9.2.2011 - Mlček

od Jookyn » 9. 2. 2011 15:55

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.

Re: 9.2.2011 - Mlček

od Tommassino » 9. 2. 2011 15:13

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.

9.2.2011 - Mlček

od rumlcajs » 9. 2. 2011 15:00

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

Nahoru