9.2.2011 - Mlček

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.
rumlcajs
Matfyz(ák|ačka) level I
Příspěvky: 15
Registrován: 10. 2. 2010 17:25
Typ studia: Informatika Bc.
Bydliště: Kajetánka/ Semily
Kontaktovat uživatele:

9.2.2011 - Mlček

Příspěvek od rumlcajs »

Tak povídejte, jaké to bylo? :)
Tommassino
Matfyz(ák|ačka) level I
Příspěvky: 35
Registrován: 10. 9. 2009 21:03
Typ studia: Informatika Mgr.

Re: 9.2.2011 - Mlček

Příspěvek od Tommassino »

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.
Jookyn
Matfyz(ák|ačka) level III
Příspěvky: 115
Registrován: 13. 9. 2008 21:42
Typ studia: Informatika Mgr.

Re: 9.2.2011 - Mlček

Příspěvek od Jookyn »

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.
Borivoj
Matfyz(ák|ačka) level I
Příspěvky: 5
Registrován: 28. 1. 2011 08:30
Typ studia: Informatika Bc.

Re: 9.2.2011 - Mlček

Příspěvek od Borivoj »

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

Re: 9.2.2011 - Mlček

Příspěvek od a »

Už to máte zapísané v SISe?
rumlcajs
Matfyz(ák|ačka) level I
Příspěvky: 15
Registrován: 10. 2. 2010 17:25
Typ studia: Informatika Bc.
Bydliště: Kajetánka/ Semily
Kontaktovat uživatele:

Re: 9.2.2011 - Mlček

Příspěvek od rumlcajs »

Na jaké otázky se ptal lidi co se dostali přes písemku na ústní? Nevíte někdo? :)
Tomgr
Matfyz(ák|ačka) level I
Příspěvky: 36
Registrován: 15. 2. 2010 16:06
Typ studia: Informatika Bc.
Kontaktovat uživatele:

Re: 9.2.2011 - Mlček

Příspěvek od Tomgr »

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

Zpět na „AIL062 Výroková a predikátová logika“