# Skuska 5.9. + skore

<{ForumPost(poster="stviper", timestamp=2006-09-05 17:58:58)}>
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.  :evil:
<{/ForumPost}>

<{ForumPost(poster="custo007", timestamp=2006-09-05 22:28:13)}>
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  
  

 > Dokazat druhu vetu o distribucii konjukce a disjukce

ta distribuce ale byla podle me chytak, bylo totiz zadano:  
(A&B)vC <-> (A&C)v(B&C) a to neplati  
spravne ale je: (A&B)vC <-> (AvC)&(BvC)
<{/ForumPost}>

<{ForumPost(poster="qwyxyo", timestamp=2006-09-07 16:16:19)}>
z B4 mam za 2!!! juchuchu
<{/ForumPost}>

<{ForumPost(poster="roberto7", timestamp=2006-09-07 18:14:41)}>
Zdravim, nemohol by niekto, kto to vedel, napisat, ako sa riesili tie teoreticke veci v B4?  Napriklad to s tym pridavanim axiomov, ako sa zostroji kanonicka struktura, ked su zadane take premenne atd... Dost by mi to pomohlo...
<{/ForumPost}>

<{ForumPost(poster="qwertie", timestamp=2006-09-07 18:56:39)}>
je to v sisu, nebo ma stepanek nekde utajene hnizdo s vysledky?
<{/ForumPost}>

<{ForumPost(poster="qwyxyo", timestamp=2006-09-07 19:07:24)}>

 > qwertie wrote:je to v sisu, nebo ma stepanek nekde utajene hnizdo s vysledky?

ja to mam v sisu
<{/ForumPost}>

<{ForumPost(poster="qwertie", timestamp=2006-09-07 19:11:51)}>
no tak v tom pripade to vypada pro mne nebezpecne.. :(
<{/ForumPost}>

<{ForumPost(poster="custo007", timestamp=2006-09-07 21:04:49)}>
nadeje umira posledni, krom toho jeden z tech hlidacich psu co byl na zkousce mi rikal, ze maj tejden na opravovani
<{/ForumPost}>

<{ForumPost(poster="qwertie", timestamp=2006-09-08 00:29:23)}>
mno to je super, rad bych vedel hestli tam mam jit pristi  tyden jeste jednou.. koukam ze minimalne pro zapis do indexu..
<{/ForumPost}>

<{ForumPost(poster="exoginos", timestamp=2006-09-08 00:37:59)}>

 > stviper wrote:
 > - Dokazat druhu vetu o distribucii konjukce a disjukce

--jo, akorat tam byla chyba (stejna, jako v nektere z predchozich verzi, uz to sem nekdo daval), takze stacilo najit protipriklad

 > stviper wrote:
 > - dalsie si nepamatam

--myslim, ze navic tam byly axiomy peanovy aritmetiky, urcit,  jestli je bezesporna a jeste neco.
<{/ForumPost}>

<{ForumPost(poster="Dan", timestamp=2006-09-08 13:37:28)}>
Neviete kedy a kde bude zapisovat znamky? Bol som este pocas skuskoveho ale v indexe to eset nemam.
<{/ForumPost}>

<{ForumPost(poster="macbeth", timestamp=2006-09-08 13:52:22)}>
ma uz niekto z A4 vysledok?  
  
do indexu zapisuje na kazdej skuske, mozno ked sa s nim dohodnes mejlom, tak aj inokedy...
<{/ForumPost}>

<{ForumPost(poster="tomas", timestamp=2006-09-10 00:41:13)}>
No to byla podarena pisemka teda  :shock: 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!
<{/ForumPost}>

<{ForumPost(poster="Hugo", timestamp=2006-09-10 15:09:04)}>
Zni to rozumne, mozna, ze Mr. Stepanek chce jenom definovat ty tridy ekvivalence kvuli predikatu rovnosti..
<{/ForumPost}>

<{ForumPost(poster="Hugo", timestamp=2006-09-10 15:12:39)}>
Ale docela by me zajimaly ty axiomy, ktere se musi pridat kvuli realizacim tech konstant :roll:
<{/ForumPost}>

<{ForumPost(poster="macbeth", timestamp=2006-09-12 11:25:12)}>
Je este niekto taky ako ja, ze nema vysledok? Dnes je to tyzden od tej pisomky, malo to byt vraj opravene do pondelka vecera a ziadny vysledok tam zatial nemam... :?
<{/ForumPost}>

<{ForumPost(poster="pardot", timestamp=2006-09-12 12:05:25)}>
No ja tiez este stale cakam na vysledok a uz ma to zacian pekne ...
<{/ForumPost}>

<{ForumPost(poster="none", timestamp=2006-09-12 16:16:13)}>
Tu tiez nic.
<{/ForumPost}>

<{ForumPost(poster="macbeth", timestamp=2006-09-12 16:27:18)}>
Ja uz mam... (bol som A4)
<{/ForumPost}>

<{ForumPost(poster="none", timestamp=2006-09-13 13:16:29)}>
Tiez konecne, mam to za tri, som rad ze to mam z krku.
<{/ForumPost}>

<{ForumPost(poster="wintermute", timestamp=2006-09-13 15:50:23)}>
Ja tři. Fuj to se mi ulevilo.
<{/ForumPost}>

<{ForumPost(poster="qwertie", timestamp=2006-09-13 19:22:02)}>
čistá závist, po týdnu a dalsím termínu vím, že jsem to neudělal.. no není to skvělé :)
<{/ForumPost}>