Homepage  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


.dsy:it. .dsy:it. Archive > Didattica > Corsi G - M > Logica matematica
 
Problema Spass editor
Clicca QUI per vedere il messaggio nel forum
rasta84
Ho installato da poco lo spass editor..

Il problema è che non riesco a salvare i progetti, ogni volta che ci provo mi viene dato un errore nel salvataggio degli axioms.. Quindi non riesco neanche ad eseguire il problema formalizzato..

Qualcuno ha avuto lo stesso problema e sa come risolverlo?

Grazie

yeah
In genere se da un errore sul salvataggio è perché la formula è sbagliata / scritta male. Assicurati ti staccare con uno spazio ogni simbolo, quindi le parentesi, il perogni dalla variabile, il non dal termine, etc.

Powered by: vbHome (lite) v4.1 and 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