mayetta

--

User info:

Registered: Nov 2001
Posts: 1319 (0.15 al dì)
Location:
Corso:
Anno:
Time Online: 33 Days, 0:19:42 [...]
Status: Offline

Post actions:

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

User info:

Registered: Jan 2008
Posts: 1 (0.00 al dì)
Location: milano
Corso: informatica
Anno: 5
Time Online: 0:48:13 [...]
Status: Offline

Post actions:

Ciao volevo chiederti se alla fine hai saputo
come funziona la EmS????


grazie

mayetta

--

User info:

Registered: Nov 2001
Posts: 1319 (0.15 al dì)
Location:
Corso:
Anno:
Time Online: 33 Days, 0:19:42 [...]
Status: Offline

Post actions:

ai tempi avevo scritto all'esercitatore il quale mi aveva consigliato di scegliere un esercizio che prevedesse solo le regole spiegate a lezione.

yeah

.grande:maestro.

User info:

Registered: Nov 2003
Posts: 1644 (0.20 al dì)
Location: Cologno Monzese
Corso: Informatica Magistrale
Anno: II
Time Online: 12 Days, 21:36:41 [...]
Status: Offline

Post actions:

Interessante, anche perché la EmS a me è criptica sull'handbook di SPASS ^_^

__________________
?