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í.
zkouška 9.9.2008
-
- Matfyz(ák|ačka) level I
- Příspěvky: 7
- Registrován: 29. 1. 2007 00:13
- Typ studia: Informatika Bc.
- Kontaktovat uživatele:
Re: zkouška 9.9.2008
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
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
Whole life is only your imagination...
Re: zkouška 9.9.2008
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...
Re: zkouška 9.9.2008
tak nakoniec vysledok som mal zapisany v sise az 15.9. popoludni,teda den pred dalsim terminom...to mi pride trosku neseriozne.