Skuska 5.9. + skore
- stviper
- Matfyz(ák|ačka) level I
- Příspěvky: 14
- Registrován: 23. 1. 2005 18:12
- Typ studia: Informatika Bc.
- Bydliště: Troja
- Kontaktovat uživatele:
Skuska 5.9. + skore
Zdravim,
takze dnesna skuska ma dost prekvapila. Okrem toho ze v zadani prvej pisomky bolo kopec chyb a viac casu som stravil ich lustenim ako nad samotnym riesenim zadania, ma dost prekvapila druha pisomka.
Bol som B 4:
- Dokazat asociativnost konjukcie
- Previest taky humus do DNF, kedze obsahoval 5 roznych vyrok. premen.
som to robil operaciami ktore sa dokazuju vo vete o normalnych tvaroch
- Dokazat druhu vetu o distribucii konjukce a disjukce
- dokazat jednoduchu formulu ktora uz bola na uplne prvom termine
(obashovala (Ex) , (Vx) )
- bol zadany jazyk L nasledovne: obsahuje KONSTANTY a,b,c,d,e a predikat
rovnosti. K tomuto jazyku sme mali zostrojit kanonicku strukturu.
- Dokazat ze ak S ja maximalna bezesporna teoria tak plati pre lubovolnu formulu: S|-A v S|- non(A)
- dalsie si nepamatam
a zvysne tri som ani nepochopil co tym chcel povedat.
Toto bolo asi najtazsie zadanie ktore zatial bolo.
takze dnesna skuska ma dost prekvapila. Okrem toho ze v zadani prvej pisomky bolo kopec chyb a viac casu som stravil ich lustenim ako nad samotnym riesenim zadania, ma dost prekvapila druha pisomka.
Bol som B 4:
- Dokazat asociativnost konjukcie
- Previest taky humus do DNF, kedze obsahoval 5 roznych vyrok. premen.
som to robil operaciami ktore sa dokazuju vo vete o normalnych tvaroch
- Dokazat druhu vetu o distribucii konjukce a disjukce
- dokazat jednoduchu formulu ktora uz bola na uplne prvom termine
(obashovala (Ex) , (Vx) )
- bol zadany jazyk L nasledovne: obsahuje KONSTANTY a,b,c,d,e a predikat
rovnosti. K tomuto jazyku sme mali zostrojit kanonicku strukturu.
- Dokazat ze ak S ja maximalna bezesporna teoria tak plati pre lubovolnu formulu: S|-A v S|- non(A)
- dalsie si nepamatam
a zvysne tri som ani nepochopil co tym chcel povedat.
Toto bolo asi najtazsie zadanie ktore zatial bolo.
jo, B4 byl poradnej ekl, od nej ruce pryc
jeden z prikladu byl jeste:
dokazat ze T,nonA' je sporna prave kdyz T|-A, kde A' je uzaver fle A
popsat jazyk a axiomy Peanovy aritmetiky a rict zda je to rozhodnutelna teorie
dalsi znel priblizne takhle: (ale moc za to nerucim, uz si to nepamatuju a navic sem to moc nepobral)
Je dana teorie T s jazykem L, L je jazyk s rovnosti
T' je rozsireni T takovy ze pridava konstanty a,b,c,d,e.
a) Jaky axiom je potreba pridat do T' tak aby vznikla T'' takova, ze jeji model obsahuje jen realizace tech konstant
b) Jaky axiom je potreba pridat do T' (opet vznikne T''), tak aby v kazdem modelu T'' byly realizace konstant ruzne
(A&B)vC <-> (A&C)v(B&C) a to neplati
spravne ale je: (A&B)vC <-> (AvC)&(BvC)
jeden z prikladu byl jeste:
dokazat ze T,nonA' je sporna prave kdyz T|-A, kde A' je uzaver fle A
popsat jazyk a axiomy Peanovy aritmetiky a rict zda je to rozhodnutelna teorie
dalsi znel priblizne takhle: (ale moc za to nerucim, uz si to nepamatuju a navic sem to moc nepobral)
Je dana teorie T s jazykem L, L je jazyk s rovnosti
T' je rozsireni T takovy ze pridava konstanty a,b,c,d,e.
a) Jaky axiom je potreba pridat do T' tak aby vznikla T'' takova, ze jeji model obsahuje jen realizace tech konstant
b) Jaky axiom je potreba pridat do T' (opet vznikne T''), tak aby v kazdem modelu T'' byly realizace konstant ruzne
ta distribuce ale byla podle me chytak, bylo totiz zadano:Dokazat druhu vetu o distribucii konjukce a disjukce
(A&B)vC <-> (A&C)v(B&C) a to neplati
spravne ale je: (A&B)vC <-> (AvC)&(BvC)
Re: Skuska 5.9. + skore
--jo, akorat tam byla chyba (stejna, jako v nektere z predchozich verzi, uz to sem nekdo daval), takze stacilo najit protiprikladstviper píše: - Dokazat druhu vetu o distribucii konjukce a disjukce
--myslim, ze navic tam byly axiomy peanovy aritmetiky, urcit, jestli je bezesporna a jeste neco.stviper píše: - dalsie si nepamatam
Which is worse: ignorance or apathy? Who knows? Who cares?
zapis znamok
Neviete kedy a kde bude zapisovat znamky? Bol som este pocas skuskoveho ale v indexe to eset nemam.
-
- Matfyz(ák|ačka) level I
- Příspěvky: 28
- Registrován: 6. 6. 2005 19:47
- Typ studia: Informatika Bc.
- Bydliště: Praha
- Kontaktovat uživatele:
Hledani kanonicke struktury..
No to byla podarena pisemka teda a vysledky nikde. Jak to tak vidim, tak me bude cekat logika "do tretice vseho dobryho" (poprve jsem byl na te kam se slo s predpokladem 30% staci jako minulej rok ). Kazdopadne bych rad pochopil co se temi otazkami myslelo abych z toho priste vysel vitezne. Tusite nekdo co mysli konstrukci kanonicke struktury?
Kdyz to ted konzultuju se skriptama, kde je postup konstrukce nejak popsany, rekl bych ze se napred musi overit jestli je teorie uplna, ma nejake konstanty a je Henkinova - prvni dva pozadavky IMHO splnuje, ten treti asi taky (kdyz jediny predikat je rovnost - ale fakt nevim jak bych o tom pana profesora presvedcoval ). Potom by tedy slo sestavit model tak ze mnozina individui vznikde faktorizaci z {a,b,c,d,e}. Funkcni symboly tam podle zadani nejsou, predikat je jen rovnost a ten musi byt realizovan identitou...
Hm.. zni to jako sileny bludy. Tusite nekdo jak to ma byt spravne ?
Diky!
Kdyz to ted konzultuju se skriptama, kde je postup konstrukce nejak popsany, rekl bych ze se napred musi overit jestli je teorie uplna, ma nejake konstanty a je Henkinova - prvni dva pozadavky IMHO splnuje, ten treti asi taky (kdyz jediny predikat je rovnost - ale fakt nevim jak bych o tom pana profesora presvedcoval ). Potom by tedy slo sestavit model tak ze mnozina individui vznikde faktorizaci z {a,b,c,d,e}. Funkcni symboly tam podle zadani nejsou, predikat je jen rovnost a ten musi byt realizovan identitou...
Hm.. zni to jako sileny bludy. Tusite nekdo jak to ma byt spravne ?
Diky!
Tomas Petricek
http://tomasp.net
http://tomasp.net