Vysledky zkousky 28(29).8.

[socketka]

zajimala by me statistika a vase nazory...



co se tyka zadani, vybavuji si toho malo, ale napriklad:
- formulace a dukaz vety o konstantach
- cast dukazu vety o variantach
- cast dukazu vety o instancich
- dukaz v7
- definice instance, definice varianty
- naznak dukazu henkinovy vety
- pak par otazek se zadanim, ktere jsem moc nepochopila a neco malo na vymysleni, vzpominam si jen na v peanove aritmetice dokazte x+y=y+x (vyuzijte schema indukce, zkuste nejdrive x+0=0+x)

otazek celkem bylo celkem 10, byla potrebna alespon polovina bodu na trojku

jeste: vysledky maleho testu nebyly nikomu k nahlednuti na miste, coz je zrejme novinka. doufejme, ze se pri pocitani bodu nespletli...

[langosh]

ještě dodám, že v této skupině bylo

- určete formule A,B,C tak, aby
|= (A->B)->C
ale ne A->(B->C)
pak je prý jednoduché dokázat, že
|=[A->(B->C)]->[(A->B)->C]

- ta v7 je (nonA->A)->A

- půlka důkazu věty o dedukci, ta T|-A->B pak T,A|-B

- a pak něco co sem skoro vůbec nepochopil. Bylo to něco takového:
Term je uzavřený, pokud neobsahuje proměnné. Určete nutnou a postačující podmínku pro ? jazyk ?, aby obsahoval uzavřené termy, a pak ještě něco. Nevím, jestli sem nenapsal nějakou pitomost, ale tak nějak přibližně to bylo, kdyžtak mě někdo rád opraví.

No jestli je potřeba alespoň půlka bodů. tak to můžu zabalit rovnou .
Tahle zkouška je fakt kotel, a doporučuju se pořádně připravit, jinak to ani nemá cenu tam chodit.

Jo a připadalo mi, že vyhodily celkem dost lidí hned po první části, oproti minulému termínu.

On Štěpánek řikal, že si ty testy může každý prohlédnout u něj v kabinetě (to první kolo), je to asi kvůli tomu, že při prohlížení těch testů byl celkem nepořádek a nikdo nehlídal ty co psaly druhé kolo a dalo se dobře opisovat .

[langosh]

Tak je vidět, že jeho nebrání reklamací na místě nese své ovoce

Tato zprava je urcena jen neuspesnym resitelum testu Test 3 X a Testu 3 W ze dne 29. srpna 2006. Vzhledem k nedopatrenim pri opravovani techto testu jsem se rozhodl prepocitat body, kterych jste dosahli. Byl bych rad, kdybyste se prepocitani zucastnili osobne. Navrhuji termin ctvrtek 31. srpna v 10 hodin v me pracovne c. 305 na Male Strane.
Pokud Vam tento termin nevyhovuje, prijdte v pondeli 4. zari v 10 hodin na uvedene misto.
Dekuji za pochopeni, Petr Stepanek

Docela lituju tyhle lidi, co jdou na jednu zkoušku třikrát.

[tutchek]

Kuva mel jsem 3W nebo 3V? kuva... kuva... kuva!

[palid]

zadania B skupiny (co si pamatam)

dokazte
|- (A->(B->C)) <-> ((A&B)->C) (5b)

dokazte (10b)
ak plati T |- A <-> B
potom
T |- A prave ked T |- B

dokazte (asi 5b)
(A&(B V C)) <-> ((A V B)&(A V C))
ano dobre vidite je to lava strana jednej distribucie a prava strana druhej, tj neplati to, haluz ze?

dokazte reflexivitu rovnosti tj x=y -> y=x (5b)

zavedenie existentitka + dokaz (10b)

axiomy peanovej aritmetiky + dokaz x*y = y*x (rovnaka napoveda) - tato otazka bola dva krat (15b)

nieco s nutnou a postacujucou podmienkou konzervativneho rozsirenia + dokaz (10b)

tato otazka ma dorazila:
nech term je otvoreny (alebo uzavrety uz si nepamatam ale to je jedno) ked nema premenne, nech Term(L) je mnozina vsetkych termov v jazyku L, nech Term(L)0 je mnozina vsetkych otvorenych (alebo uzavretych) termov v jazyku L
urcte mohutnost mnoziny Term(L) (konecna/nekonecna) ; moze byt mohutnost Term(L)0 ... 0 a kedy ? (10b)

este 1 otazka, ked si spomeniem tak dopisem

[socketka]

jeste tam byla definice henkinovy teorie, to jsem zapomnela

[qk]

no zkouska dost masakr, sice prvni cast mi prisla celkem lehka, ale ta druha cast dost *****. Nevim jak se budou stourat v dukazech, ale stejne si myslim ze pulku bodu nemam.... no zlata analyza, tam se dalo neco dovymyslet, tady nevymyslim nic.

[xstyler]

joooooooooooooooooooooooo. mam za dva. pozrite sa, uz su vysledky.

[socketka]

tak mam jednickuuuuu

[qk]

JOOOOOOOOOOOOOOOOO, mam za 3!!!!!!!
a to sem pulku nemel a druhou sem cekal ze neprectou, protoze sem to napsal jak prase.

[darkness]

to ja znamku zatim jeste nemam.. zrejme proto, ze jsem sla na zkousku bez zapoctu, tak mi ji nenapsali do sisu.. je tu jeste takovy nejaky exot jako ja?

[Tacoud]

Mě přišel mail, že mám v sisu změnu výsledků u logiky, ale v sisu nic nového nemám.
Tak nevím.

[Bečis]

Tak mám taky za 2 jupí , nevíte, jak je to se zapsáním známky do indexu?

[socketka]

myslim, ze zapisuje na zkouskach - dalsi je 5.9. v M1 od 14h, ja tam zkusim ten autogram ziskat

Tak mám taky za 2 jupí , nevíte, jak je to se zapsáním známky do indexu?

[snail]

tak to si pro ten podpis taky dojdu....mam 2
a doufam, ze logiku uz nepotkam