Dsy Network www | forum | my | didattica | howto | wiki | el goog | stats | blog | dona | rappresentanti
Homepage
 Register   Calendar   Members  Faq   Search  Logout 
.dsy:it. : Powered by vBulletin version 2.3.1 .dsy:it. > Didattica > Corsi G - M > Logica matematica > Problemi con file Puzzle *.DFG
  Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
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:

Edit | Report | IP: Logged
Problemi con file Puzzle *.DFG

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

20-02-2008 21:57
Click Here to See the Profile for Logan12584 Click here to Send Logan12584 a Private Message Find more posts by Logan12584 Add Logan12584 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
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:

Edit | Report | IP: Logged

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

21-02-2008 13:37
Click Here to See the Profile for Polo Click here to Send Polo a Private Message Find more posts by Polo Add Polo to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
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:

Edit | Report | IP: Logged


consigli?

Non passare dall'editor?

In SPASS funzionano?

__________________
?

21-02-2008 14:42
Click Here to See the Profile for yeah Click here to Send yeah a Private Message Find more posts by yeah Add yeah to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
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:

Edit | Report | IP: Logged

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

22-02-2008 09:12
Click Here to See the Profile for Logan12584 Click here to Send Logan12584 a Private Message Find more posts by Logan12584 Add Logan12584 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 07:25.    Post New Thread    Post A Reply
  Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread | Add to Bookmarks

Forum Jump:
Rate This Thread:

Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts
HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
 

Powered by: vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento | Licenze | Thanks | Syndacate
Pagina generata in 0.103 seconds (61.73% PHP - 38.27% MySQL) con 26 query.