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.
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.