.dsy:it. - [Logica per le applicazioni] Appello

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

[Logica per le applicazioni] Appello

Posted by elpampero on 14-11-2007 13:17

Venerdì proverò a contattare il Prof. Ghilardi per chiarire alcuni punti. Tuttavia provo ad elencarli di seguito sperando che qualcuno sappia già qualcosa in merito:

- Data appello gennaio?

- La parte svolta nelle videolezioni da Ranise relative ai metodi formali per la verifica di protocolli sono da fare?!?

- Per l'esame è necessario portare un problema già formalizzato magari prendendolo nella libreria TPTP nella sezione puzzle.
Non mi è chiaro però come sono scritti i problemi in questa libreria...qualcuno sa come vanno "interpretati"?