# zkouška 9.9.2008

<{ForumPost(poster="poer", timestamp=2008-09-09 19:38:29)}>
Tak dnešní zkouška byla docela maso  :(  pokud to dam, tak s odřenejma ušima...  
  
Něco z toho co si pamatuju. Kdo si pamatuje víc, nechť přihodí...  
  
Dokažte v Penově aritmetice:  
P|-1*2=2  
P|-(for all x)(S(x)=x+S(0))  
  
Definujte variantu formule a dokažte, že všechny varianty formule A jsou ekvivalentní.
<{/ForumPost}>

<{ForumPost(poster="tang", timestamp=2008-09-10 20:11:18)}>
Už máte někdo výsledky zapsaný v sisu?
<{/ForumPost}>

<{ForumPost(poster="Radooo", timestamp=2008-09-10 22:03:10)}>
mne prisiel vysledok zo SISu dnes o desiatej.  
Dostal som za 3 a to som si este nevedel spomenut na znenie vety o distribuci kvantifikatoru.  
Ale inac myslim, ze status presiel je pri tejto skuske minimalne uspech :)
<{/ForumPost}>

<{ForumPost(poster="Anonymous", timestamp=2008-09-12 10:33:37)}>
Je jeste nekdo, kdo zatim nezna vysledek uterniho testu?
<{/ForumPost}>

<{ForumPost(poster="marvin_forever", timestamp=2008-09-12 18:50:34)}>
jo,stale nic..co uz pomaly asi bude znamenat nie:(
<{/ForumPost}>

<{ForumPost(poster="poa", timestamp=2008-09-13 22:00:20)}>
To mi přijde docela drsný, že nedaj výsledky zkoušky... člověk ani neví jak na tom je a jestli se má vůbec učit na další termín... pěkně neohleduplný... btw výsledek taky ještě nemam...
<{/ForumPost}>

<{ForumPost(poster="marvinIsDead", timestamp=2008-09-15 17:02:15)}>
tak nakoniec vysledok som mal zapisany v sise az 15.9. popoludni,teda den pred dalsim terminom...to mi pride trosku neseriozne.
<{/ForumPost}>