.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [Logica per le applicazioni] Appello (http://www.dsy.it/forum/showthread.php?threadid=32750)

[Logica per le applicazioni] Appello

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"?

Re: [Logica per le applicazioni] Appello

Per quanto riguarda la prima domanda

Originally posted by elpampero

- Data appello gennaio?

vecchio calendario esami

l'allegato si riferisce all'anno 06/07, quest'anno è il 07/08 quindi secondo me il 31 gennaio non ci sarà l'esame, qualcuno si può informare meglio ???

http://homes.dsi.unimi.it/~ghilardi...leg/app_ls.html

NOW IS CORRECT !!!

Sul SIFA ci sono due esami diversi :
Logica matematica
Logica per le applicazioni

A quale ci si deve iscrivere?

Se sei di informatica a logica matematica (come da manifesto degli studi)

__________________
?

Ottimo...Qualcuno ha idea di che regola sia la [Spt] che mi compare nella dimostrazione del proover??!!

Originally posted by yeah
Se sei di informatica a logica matematica (come da manifesto degli studi)

Per la triennale sì
Hanno lo stesso nome (a meno che abbiano cambiato uno dei due dall'anno scorso a questo).

__________________
?

Originally posted by yeah
Per la triennale sì
Hanno lo stesso nome (a meno che abbiano cambiato uno dei due dall'anno scorso a questo).

Originally posted by elpampero
Ottimo...Qualcuno ha idea di che regola sia la [Spt] che mi compare nella dimostrazione del proover??!!