Fórum studentů MFF UK

od **doser** » 4. 9. 2007 00:22

InvInv píše:Dikes, ja myslim, ze je to super. Bez axiomu indukce, jak jsme to zkouseli, to nejak dokazat neslo Slidy jsem nikdy predtim necetl ani na prednasce nebyl a nevedel jsem, co ma znamenat "<ex>". Rekl bych, ze to mas uplne spravne. Dik

Jo taky se mi to zamlouvá, jinak v Robinsnově aritmetice (tedy bez axiomu indukce) to dokázat nelze, tam to totiž neplatí

od **InvInv** » 3. 9. 2007 17:49

Dikes, ja myslim, ze je to super. Bez axiomu indukce, jak jsme to zkouseli, to nejak dokazat neslo

Slidy jsem nikdy predtim necetl ani na prednasce nebyl a nevedel jsem, co ma znamenat "<ex>". Rekl bych, ze to mas uplne spravne. Dik

od **Fairfax** » 30. 8. 2007 11:37

pokus o dukaz 6. b)
http://www.peklo.unas.cz/logika/peano2.pdf

od **Fairfax** » 20. 8. 2007 17:35

Inv píše: Vi nekdo jak dokazat aspon a) ? Sedel jsem nad tim s kamosem matematikem asi pul hodky.. Sad

Ne to opravdu nevim, ale pokusil jsem se nalezt odpoved. Na zaklade toho co pise pan Vítězslav Švejdar v knize: Logika neúplnost složitost a nutnost se mi povedlo cosi vymyslet (viz.: http://www.peklo.unas.cz/logika/peano.pdf). Nemam zadnou moznost overit si spravnost sveho postupu takze doufam, ze to neni uplny blabol. Kdo se na zkousku chysta, ten z toho mozna pochyti nejakou inspiraci a ti co uz ji maji za sebou (a tim padem rozumi problematice lepe nez ja) tohle forum stejne uz nectou.

od **Inv** » 26. 6. 2007 20:37

Void píše: 6. Mejme jazyk aritmetiky (0,1,S,+,*,mensi nebo rovno) a axiomy
Q1 S(x) != 0
Q2 S(x) = S(y) -> x=y
Q3 x!=0 -> (ex. y)(S(y) = x)
Q4 x+ 0 = x
Q5 x + S(y) = S(x+y)
Q6 x*0=0
Q7 x*S(y) = (x*y) +x
Q8 x<=y <ex> [(vsechna x) (A(x) -> A (S(x))) -> (vsechna x) A]
a) dokazte x+0 = 0+x (2 body)
b) dokazte, ze soucet je komutativni operace. (8 bodu)

Vi nekdo jak dokazat aspon a) ? Sedel jsem nad tim s kamosem matematikem asi pul hodky..

od **Munch** » 22. 6. 2007 13:57

Je mozny, ze tenhle termin dopad extremne blbe, tak posunul hranici bodu ...

od **cathack** » 22. 6. 2007 12:47

Stejně tak. Čekal jsem čtyři, dostal za dva. Jsem rád, že to mám za sebou!
A přeji štěstí těm, které to teprve čeká!

od **Eubie** » 22. 6. 2007 12:39

Ahoj! Myslim, že prof. Štěpánek si z nás dělal s tím bodováním buď legraci, abysme měli bobky, nebo nám přičítal i body, které tam nebyly:D Stejně jako kdosi předemnou jsem čekal čtyřku, dostal jsem ale dvojku:D

od **cathack** » 21. 6. 2007 21:57

Eubie píše:Plus, dochází někomu význam toho, co udělal Štěpánek se symboly I- a I= ? Například tautologický důsledek A množiny flí T je T I- A (dle Štepánka) - není to překled těch, co sem opisovali zadání, opravdu to tam tak bylo. V skriptech str. 16 je to ale T I= A. Matení "nepřítele"?

To byla pouze logika k prvnímu příkladu, jiná, než jakou jsme probírali. Modelový případ, na kterém chtěl vidět, jestli umíme něco dokázat i v jiné logice. Asi.

od **Munch** » 21. 6. 2007 12:30

Byl jsem B a uz mam vysledek. Dostal jsem trojku, i kdyz sem tomu moc neveril (byl jsem uz zapsanej na dalsi termin). Tak nak pochybuju, ze jsem mel tech 22 bodu, protoze sem to fakt po...

od **Eubie** » 20. 6. 2007 16:58

Plus, dochází někomu význam toho, co udělal Štěpánek se symboly I- a I= ? Například tautologický důsledek A množiny flí T je T I- A (dle Štepánka) - není to překled těch, co sem opisovali zadání, opravdu to tam tak bylo. V skriptech str. 16 je to ale T I= A. Matení "nepřítele"?

od **Eubie** » 20. 6. 2007 12:44

Máte už někdo zapsanou známku? Já nikoliv a byl jsem Ačko na vrchu.

od **atombomb** » 19. 6. 2007 13:36

A, tiez moja skupina... pred par hodinami(konkretne na skuske) by ma este zaujalo akyze to bol indukcny krok na riesenie 6b), ale teraz mi uz je to srdecne jedno, az do nejakeho septembroveho opravaku(ktory zaiste bude treba, ledaze by sa aj stepanek vynasnazil a nasiel tych par bodov v kope sena).
a inak teda hnusny termin

od **Eubie** » 19. 6. 2007 13:28

Jo, opravdu nechápu, v čem je logika toho dávat písemky s postupujícím časem těžší. Triviální předtermín, teď tohle. Asi je to "logické".

Pokud má někdo hint, jak na ten příklad s teoriema T a S, a kde ve slidech nebo skriptech je poslední příklad, budu mu vděčný.

+ pokud sem nekdo da zadani Bcka, tak to je uplny vysmech, jak bylo lehke proti Acku. (10b) za AvB I- A,B nebo co to tam bylo..

od **Void** » 19. 6. 2007 12:48

Musim ještě dodat, že hodnocení má prý být následující:

alespoň 22 bodů = 3;
?? - 43 bodů = 2;
44 - 50 bodů = 1

Což, společně s podle mně o dost těžším zadáním, než minule, sráží moje šance na úspěch někam zatraceně nízko...

Fórum studentů MFF UK

A 19_6_2007 Zkusebni pisemna prace ;)

Odeslat odpověď

Rozšířit náhled Přehled tématu: A 19_6_2007 Zkusebni pisemna prace ;)

Re: Dik!

Dik!

Pokracovani

Dukaz v Peanove aritmetice

Re: hodnoceni

hodnoceni