# zkouska 20 1 09

<{ForumPost(poster="mmarci", timestamp=2009-01-21 10:34:28)}>
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.
<{/ForumPost}>

<{ForumPost(poster="charlieMonroe", timestamp=2009-01-23 11:49:31)}>
Ma jiz nekdo z tohoto terminu zapsanou znamku?
<{/ForumPost}>

<{ForumPost(poster="Hunter", timestamp=2009-01-23 11:54:49)}>
Zatím nic :-(
<{/ForumPost}>

<{ForumPost(poster="gufy", timestamp=2009-01-23 11:56:46)}>
Nez budete chtit mit zapsanou znamku, je potreba mit v ISu zapocet.
<{/ForumPost}>

<{ForumPost(poster="Hunter", timestamp=2009-01-23 19:26:43)}>
Zápočet tam mám, ale známka se furt neobjevuje :-(
<{/ForumPost}>

<{ForumPost(poster="R.U.R.", timestamp=2009-01-23 22:23:04)}>
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.
<{/ForumPost}>

<{ForumPost(poster="charlieMonroe", timestamp=2009-01-24 14:13:38)}>

 > 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...
<{/ForumPost}>

<{ForumPost(poster="posila", timestamp=2009-01-26 16:01:45)}>
Tak pred chvili mi v SISu naskocila znamka. Mail zatim zadny neprisel.
<{/ForumPost}>

<{ForumPost(poster="Ou", timestamp=2009-01-26 16:14:23)}>
Mail nepřišel, ale v SISu je dokonce dvojka - hodně štěstí na dalších termínech.
<{/ForumPost}>

<{ForumPost(poster="R.U.R.", timestamp=2009-01-26 16:34:21)}>
Děkujem :-) To je teda docela psycho, jestli se člověk teprve den před dalším termínem dozví výsledek :-(
<{/ForumPost}>

<{ForumPost(poster="Him", timestamp=2009-01-26 17:15:26)}>
" 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 .)
<{/ForumPost}>