[Logica per le applicazioni] Appello
Clicca QUI per vedere il messaggio nel forum |
| elpampero |
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"? |
| 46Bors46 |
Per quanto riguarda la prima domanda
Originally posted by elpampero
- Data appello gennaio?
ti posso dire che al momento è stato fissato x il 31 gennaio come riportato qui
Delle altre cose che hai chiesto non so dirti nulla purtroppo :alsono:
Ciao!!! |
| desrob |
| 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 ??? |
| desrob |
| NOW IS CORRECT !!! |
| elpampero |
Sul SIFA ci sono due esami diversi :
Logica matematica
Logica per le applicazioni
A quale ci si deve iscrivere? |
| yeah |
| Se sei di informatica a logica matematica (come da manifesto degli studi) :) |
| elpampero |
| Ottimo...Qualcuno ha idea di che regola sia la [Spt] che mi compare nella dimostrazione del proover??!! |
| Simeon |
Originally posted by yeah
Se sei di informatica a logica matematica (come da manifesto degli studi) :)
Ma logica matematica non e' l'appello della triennale? |
| yeah |
Per la triennale sì :)
Hanno lo stesso nome (a meno che abbiano cambiato uno dei due dall'anno scorso a questo). |
| Simeon |
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).
Quindi l'unico appello che io vedo sul SIFA (Logica Matematica, 31 gennaio) e' relativo all'esame della triennale spero. |
| elpampero |
Originally posted by elpampero
Ottimo...Qualcuno ha idea di che regola sia la [Spt] che mi compare nella dimostrazione del proover??!!
Mi rispondo da solo è la splits. In effetti è consigliabile inserire l'option -Splits=0 |
|
|
|
