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.

9.2.2011 - Mlček

Příspěvekod rumlcajs » 9. 2. 2011 15:00

Tak povídejte, jaké to bylo? :)
rumlcajs
Matfyz(ák|ačka) level I
 
Příspěvky: 15
Registrován: 10. 2. 2010 17:25
Bydliště: Kajetánka/ Semily
Typ studia: Informatika Bc.

Re: 9.2.2011 - Mlček

Příspěvekod 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.
Uživatelský avatar
Tommassino
Matfyz(ák|ačka) level I
 
Příspěvky: 35
Registrován: 10. 9. 2009 20:03
Typ studia: Informatika Mgr.

Re: 9.2.2011 - Mlček

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

Re: 9.2.2011 - Mlček

Příspěvekod Borivoj » 9. 2. 2011 16:22

Ze ja sem tam sel hnedka ze zacatku.. :-D
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ěvekod a » 9. 2. 2011 16:47

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

Re: 9.2.2011 - Mlček

Příspěvekod 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? :)
rumlcajs
Matfyz(ák|ačka) level I
 
Příspěvky: 15
Registrován: 10. 2. 2010 17:25
Bydliště: Kajetánka/ Semily
Typ studia: Informatika Bc.

Re: 9.2.2011 - Mlček

Příspěvekod 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í.
Tomgr
Matfyz(ák|ačka) level I
 
Příspěvky: 36
Registrován: 15. 2. 2010 16:06
Typ studia: Informatika Bc.


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

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník