 | |
Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum |
[Logica per le Applicazioni] Scelta esercizio
Clicca QUI per vedere il messaggio nel forum |
| mayetta |
ciao a tutti!
ho scelto un esercizio dalla libreria tptp ma mi sono accorta che per la dimostrazione SPASS utilizza una regola che non è stata spiegata a lezione (EmS - Empty Sort).
L'esercitatore mi ha consigliato di modificare le options per non farla utilizzare al prover. Ho seguito il suo consiglio ma ora mi viene restituito un messaggio di completion found e non più di proof found.
Posso presentare comunque l'esercizio all'esame o è necessario che SPASS restituisca proof found come messaggio? |
| maccio_capatond |
Ciao volevo chiederti se alla fine hai saputo
come funziona la EmS????
grazie |
| mayetta |
| ai tempi avevo scritto all'esercitatore il quale mi aveva consigliato di scegliere un esercizio che prevedesse solo le regole spiegate a lezione. |
| yeah |
| Interessante, anche perché la EmS a me è criptica sull'handbook di SPASS ^_^ |
|
|
|
|
