Fórum studentů MFF UK

" pouzit ji na pridani symblou f(n) = prvnocislo vetsi nez n, do peanovy aritmetiky s predikatem p(n) = "n je prvnocislo" asi 5b "

Jak je u tohoto řešení?

2R.U.R.: Psycho to bude zítra, sleduju, jak klesá počet lidí, kteří se chystají na zkoušku .)

Děkujem To je teda docela psycho, jestli se člověk teprve den před dalším termínem dozví výsledek

Mail nepřišel, ale v SISu je dokonce dvojka - hodně štěstí na dalších termínech.

Tak pred chvili mi v SISu naskocila znamka. Mail zatim zadny neprisel.

R.U.R. píše:Ty axiomy Peánovky tam člověk dostane zadané?

Kolik přesně je potřeba bodů na projití? Potkal jsem informace v rozmezí 22-28 z 50.

Axiomy tam jsou zadane, neni treba si je pamatovat...

Na me kopii testu bylo napsane min. 22 bodu, predpokladam, ze to tak bude vzdycky...

Ty axiomy Peánovky tam člověk dostane zadané?

Kolik přesně je potřeba bodů na projití? Potkal jsem informace v rozmezí 22-28 z 50.

Zápočet tam mám, ale známka se furt neobjevuje

Nez budete chtit mit zapsanou znamku, je potreba mit v ISu zapocet.

Zatím nic

Ma jiz nekdo z tohoto terminu zapsanou znamku?

skupina A

prepsat spojky pomoci non a disjunkce. 2b
pokud T je podmnozinou S pak mnozina modelu T je podmnozinou mnoziny modelu S. dokazat. 2b
ukazat, ze opacna implikace neplati. 1b
dokazat, ze uplna, bezesporna ma prave jeden model 5b
dokazat, ze T uplna: T |= A prave kdyz A je prvkem T (coz podle me neplati) 5b
prevest formuli ((Ex)(A(x) <-> B(x)) )->( (Ex) A(x) -> B(x)) na prenexni tvar. 3b
rozhodnout o te formuli jestli je dokazatelna, pokud ne za jakych predpokladu by dokazatelna byla? 7b
napsat zneni vety o pridani funkcniho symbolu. asi 2b
pouzit ji na pridani symblou f(n) = prvnocislo vetsi nez n, do peanovy aritmetiky s predikatem p(n) = "n je prvnocislo" asi 5b
v peanove aritmetice dokazat, ze (Vx) (Vy) (x+y = y+x) 10b

snad jsem na nic nezapomnel.