Vysledky zkousky 28(29).8.
-
- Matfyz(ák|ačka) level I
- Příspěvky: 26
- Registrován: 1. 2. 2006 08:52
- Typ studia: Informatika Bc.
- Kontaktovat uživatele:
Vysledky zkousky 28(29).8.
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...
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
- Matfyz(ák|ačka) level II
- Příspěvky: 96
- Registrován: 28. 1. 2006 13:20
- Typ studia: Informatika Mgr.
- Bydliště: Bohnice
- Kontaktovat uživatele:
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 .
- 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
- Matfyz(ák|ačka) level II
- Příspěvky: 96
- Registrován: 28. 1. 2006 13:20
- Typ studia: Informatika Mgr.
- Bydliště: Bohnice
- Kontaktovat uživatele:
Tak je vidět, že jeho nebrání reklamací na místě nese své ovoce
Docela lituju tyhle lidi, co jdou na jednu zkoušku třikrát.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
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
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