| V I S U A L I Z Z A D I S C U S S I O N E |
| Eugenio86 |
Inserito il - 23/01/2010 : 11:48:11
Ragazzi da qualche parte tra le varie slide ho letto che bisogna saper dimostrare il teorema di coerenza sui quantificatori di Gentzen, che penso voglia dire sulle regole di gentzen relative ai quantificatori, ad esempio questa:
Voi come procedete?
Grassie :)
|
| 8 U L T I M E R I S P O S T E (in alto le più recenti) |
| boom2112 |
Inserito il - 27/01/2010 : 16:32:38
qualcuno ha capito come si effettua il soundness alle regole di gentzen sui quantificatori? |
| Peppino Caponi |
Inserito il - 25/01/2010 : 18:38:10
oppure ti ricordi male. |
| Salsero |
Inserito il - 23/01/2010 : 19:19:49
io mi ricordavo venerdì, quindi forse avrà cambiato orario :-( |
| crystal86 |
Inserito il - 23/01/2010 : 17:53:18
sulla porta del suo studio c'è scritto che per il ricevimento basta prendere appuntamento tramite mail e comunque come dice eugenio il giorno di ricevimento è il martedi...conviene sempre mandare la mail tanto il prof è uno ke risponde subito! |
| Eugenio86 |
Inserito il - 23/01/2010 : 17:05:08
Ma è di martedì che riceve |
| Salsero |
Inserito il - 23/01/2010 : 16:58:12
Io venerdì sn and all'orario di ricevimento ma nn c'era boh... |
| Eugenio86 |
Inserito il - 23/01/2010 : 14:37:48
Se vuoi trovare il prof basta che prenoti un appuntamento durante il suo ricevimento. Di solito è molto chiaro e disponibile. Io penso di andarci la prox settimana :) |
| Salsero |
Inserito il - 23/01/2010 : 13:29:19
Guarda questa è una delle tante tracce su cui nn sono riuscito a chiarire i miei dubbi... e ultimamente sn and in dipartimento a cerca il prof però senza successo... quindi se la cosa ti può rasserenare nn sei l'unico a nn aver trovato una soluzione...  |
