Logan12584

Il più grande dei grandi

User info:

Registered: Nov 2003
Posts: 514 (0.06 al dì)
Location: The House of the Dead
Corso: I telecomunicazionisti conquisteranno il mondo
Anno: P(X>=2+1|X>2)
Time Online: 2 Days, 0:04:21 [...]
Status: Offline

Post actions:

Io ed alcuni miei compagni abbiamo dei problemi a far partire i file che trovate a questo URL: http://www.lsv.ens-cachan.fr/~goubault/H1.dist/dfg/PUZ/

Abbiamo provato ad eliminare spazi ed accapo e riusciamo a vedere gli assiomi e le funzioni sullo SPASS EDITOR, ma quando andiamo ad eseguire ci da un errore alla 1 o 2 riga (dipendente dal file)... non riusciamo a venirne a capo... consigli?

p.s.: ovviamente utiliziamo le librerie con il '+'

Grazie

__________________
Scompaio e di me solo fievoli ricordi affolleranno la mente delle genti conosciute,sarò fantasma e vagherò nelle terre di nessuno, finché l ultimo ricordo morrà insieme con il mio spirito...
Se non si è disposti a rivivere la propria vita, perché darsi la pena di viverla adesso ?
Youtube.it

Polo

.illuminato.

User info:

Registered: Feb 2003
Posts: 213 (0.03 al dì)
Location: Arona
Corso: Informatica Mag.
Anno: 1-(5)
Time Online: 2 Days, 10:27:49 [...]
Status: Offline

Post actions:

Non riesco a capire se intendi qualsiasi file o uno specifico cmq..
Io ho provato uno dei file a caso semplicemente utilizzando il comando spass <nome file> funziona e non mi da nessun errore.
Ma perchè usi questi file non fai prima ad usare l'archivio sul link del corso??

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:

consigli?

__________________
?

Logan12584

Il più grande dei grandi

User info:

Registered: Nov 2003
Posts: 514 (0.06 al dì)
Location: The House of the Dead
Corso: I telecomunicazionisti conquisteranno il mondo
Anno: P(X>=2+1|X>2)
Time Online: 2 Days, 0:04:21 [...]
Status: Offline

Post actions:

Grazie per le risposte, si in spass funzionano, ma usando l'editor si avrebbe immediatamente la visuale degli assiomi. In spass (desk o a linea di cmd) invece dalle formule agli assiomi ci si mette più tempo, soprattutto se le formule sono difficili perchè bisogna tradurli a manino.

Era per ottimizzare i tempi...

L'editor in java poteva essere fatto molto meglio

__________________
Scompaio e di me solo fievoli ricordi affolleranno la mente delle genti conosciute,sarò fantasma e vagherò nelle terre di nessuno, finché l ultimo ricordo morrà insieme con il mio spirito...
Se non si è disposti a rivivere la propria vita, perché darsi la pena di viverla adesso ?
Youtube.it