zkouška 9.9.2008

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í.

Už máte někdo výsledky zapsaný v sisu?

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 :)

Je jeste nekdo, kdo zatim nezna vysledek uterniho testu?

jo,stale nic..co uz pomaly asi bude znamenat nie:(

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

tak nakoniec vysledok som mal zapisany v sise az 15.9. popoludni,teda den pred dalsim terminom...to mi pride trosku neseriozne.