| V I S U A L I Z Z A D I S C U S S I O N E |
| giaefre |
Inserito il - 07/02/2011 : 11:10:05
Qualcuno cortesemente potrebbe postare le domande che il prof ha fatto in questo appello? Grazie |
| 5 U L T I M E R I S P O S T E (in alto le più recenti) |
| loz |
Inserito il - 14/03/2011 : 14:21:06
Il teorema della risoluzione per il calcolo dei predicati dove si trova sulle slide? |
| giaefre |
Inserito il - 14/02/2011 : 16:29:10
da 31 a 38 del pdf calcolabilità e complessità del prof... devi ricondurre il problema a sat |
| Giovanni |
Inserito il - 10/02/2011 : 11:37:12
Citazione:
Messaggio inserito da giaefre
Qualcuno cortesemente potrebbe postare le domande che il prof ha fatto in questo appello? Grazie
m potete indicare dove trovare sulle slide Hamilthonian path e NP-completezza? |
| loz |
Inserito il - 09/02/2011 : 19:57:43
Chi posta cortesemente una soluzione della prima domanda? |
| loz |
Inserito il - 08/02/2011 : 11:48:21
1)Verificare se la seguente formula è derivabile:
AxEy(A(x) v B(y)) -> ExAy(A(x) ^ B(y))
(dove Ax per ogni x, Ey esiste y, v or, ^ and)
2)Hamilthonian path e NP-completezza
3)Teorema della risoluzione per il calcolo dei predicati
4)Secondo teorema del punto fisso |
