.dsy:it. - [Esame] 11/04/2006

.dsy:it.
//www.dsy.it

[Esame] 11/04/2006

Posted by marioinrete on 06-04-2006 13:03

Ragazzi,

qualcuno sa dirmi che tipo di esercizi ci saranno?
Su cosa verteranno le domande di teoria?
Dove trovo gli ultimi due temi d'esame?

E soprattutto come si fà sta roba??

Modello di:
(esiste x Q(x) \/ perogni y P(b,f(y)) /\ nonesiste x esiste y (non P (f(x),y) -->P(x,f(y)))-->nonperogni x (Q(x)-->esiste y P(f(x),y))

Contromodello di:
perogni x (P(x) /\ R(x)-->Q(x,x)) /\ nonesiste y Q(y,y)-->(esiste x R(x)-->perogni x non P(x)

Grazie..

:shock: