zkouska 20 1 09

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.

Ma jiz nekdo z tohoto terminu zapsanou znamku?

Zatím nic :-(

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

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

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.

R.U.R. wrote: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...

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

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

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

" 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 .)