Forum by laureateci.it
[ Home | REGOLE FORUM | Tutti i blog | Profilo | Registrati | CHAT | Discussioni Attive | Discussioni Recenti | Segnalibro | Msg privati | Sondaggi Attivi | Utenti | Download Informatica | Download ICD | Download TPS | Download Magistrale | Download Specialistica | Giochi | Cerca nel web | cerca | faq | RSS ]
Nome Utente:
 Password:
Salva Password
Password Dimenticata?

 Tutti i Forum
 Magistrale - Primo Anno
 Metodi formali dell'Informatica
 Soundness sui quantificatori di Gentzen		  Nuova Discussione  Rispondi
 Versione Stampabile Bookmark this Topic Aggiungi Segnalibro
I seguenti utenti stanno leggendo questo Forum Qui c'è:
Autore Discussione Precedente Discussione Discussione Successiva  

Eugenio86
Utente medio

Squall


Regione: Puglia
Prov.: Bari
Città: Bisceglie
Inserito il - 23/01/2010 : 11:48:11  Mostra Profilo  Visita l'Homepage di Eugenio86 Invia a Eugenio86 un Messaggio Privato  Rispondi Quotando
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 :)

Modificato da - Eugenio86 in Data 23/01/2010 11:50:49

Salsero
Utente medio

baila


Regione: Calabria
Prov.: Vibo Valentia
Città: Pizzo Calabro
Inserito il - 23/01/2010 : 13:29:19  Mostra Profilo  Visita l'Homepage di Salsero Invia a Salsero un Messaggio Privato  Rispondi Quotando
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...
Agli stupidi non capita mai di pensare che il merito e la buona sorte sono facce della stessa medaglia...!?
Torna all'inizio della Pagina

Eugenio86
Utente medio

Squall


Regione: Puglia
Prov.: Bari
Città: Bisceglie
Inserito il - 23/01/2010 : 14:37:48  Mostra Profilo  Visita l'Homepage di Eugenio86 Invia a Eugenio86 un Messaggio Privato  Rispondi Quotando
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 :)

Torna all'inizio della Pagina

Salsero
Utente medio

baila


Regione: Calabria
Prov.: Vibo Valentia
Città: Pizzo Calabro
Inserito il - 23/01/2010 : 16:58:12  Mostra Profilo  Visita l'Homepage di Salsero Invia a Salsero un Messaggio Privato  Rispondi Quotando
Io venerdì sn and all'orario di ricevimento ma nn c'era boh...
Agli stupidi non capita mai di pensare che il merito e la buona sorte sono facce della stessa medaglia...!?
Torna all'inizio della Pagina

Eugenio86
Utente medio

Squall


Regione: Puglia
Prov.: Bari
Città: Bisceglie
Inserito il - 23/01/2010 : 17:05:08  Mostra Profilo  Visita l'Homepage di Eugenio86 Invia a Eugenio86 un Messaggio Privato  Rispondi Quotando
Ma è di martedì che riceve

Torna all'inizio della Pagina

crystal86
Utente medio

cry

Prov.: Apuania
Città: Foggia
Inserito il - 23/01/2010 : 17:53:18  Mostra Profilo  Visita l'Homepage di crystal86 Invia a crystal86 un Messaggio Privato  Rispondi Quotando
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!
Torna all'inizio della Pagina

Salsero
Utente medio

baila


Regione: Calabria
Prov.: Vibo Valentia
Città: Pizzo Calabro
Inserito il - 23/01/2010 : 19:19:49  Mostra Profilo  Visita l'Homepage di Salsero Invia a Salsero un Messaggio Privato  Rispondi Quotando
io mi ricordavo venerdì, quindi forse avrà cambiato orario :-(
Agli stupidi non capita mai di pensare che il merito e la buona sorte sono facce della stessa medaglia...!?
Torna all'inizio della Pagina

Peppino Caponi
Utente medio



Regione: Campania
Prov.: Avellino
Città: Grottaminarda
Inserito il - 25/01/2010 : 18:38:10  Mostra Profilo  Visita l'Homepage di Peppino Caponi Invia a Peppino Caponi un Messaggio Privato  Rispondi Quotando
oppure ti ricordi male.
Torna all'inizio della Pagina

boom2112
Utente medio


Regione: Puglia
Prov.: Bari
Città: Molfetta
Inserito il - 27/01/2010 : 16:32:38  Mostra Profilo  Visita l'Homepage di boom2112  Clicca per vedere l'indirizzo MSN di boom2112 Invia a boom2112 un Messaggio Privato  Rispondi Quotando
qualcuno ha capito come si effettua il soundness alle regole di gentzen sui quantificatori?
AlartZero deve morire il prima possibile...mandato nella perfida Albione
Torna all'inizio della Pagina
  Discussione Precedente Discussione Discussione Successiva  
 Nuova Discussione  Rispondi
 Versione Stampabile Bookmark this Topic Aggiungi Segnalibro
Vai a:
Forum by laureateci.it © 2002 - 2012 Laureateci Communications Torna all'inizio della Pagina
Il DB ha risposto in 0,19 secondi.

TargatoNA.it | SuperDeejay.Net | Antidoto.org | Brutto.it | Equiweb.it | Snitz Forum 2000