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 > Opzioni di Spass
  Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
Brov84
AC\DC & Rolling Stones :)

User info:
Registered: Feb 2005
Posts: 135 (0.02 al dì)
Location: Milano
Corso: TICOM
Anno: 2°
Time Online: 2 Days, 17:37:11 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 Opzioni di Spass

Qualcuno sa con sicurezza quali settaggi variare in SPASS per l'esame oltre a -Sorts=0,-Splits=0 e -DocProof?

Grazie,ciao!

__________________
La vita non è altro che un brutto quarto d'ora composto di momenti squisiti.

O.Wilde
21-01-2008 17:08
Click Here to See the Profile for Brov84 Click here to Send Brov84 a Private Message Find more posts by Brov84 Add Brov84 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
elpampero
Aniversario

User info:
Registered: Sep 2003
Posts: 911 (0.11 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: I
Time Online: 8 Days, 3:06:36 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Allora io ho settato i seguenti:
-CNFPRenaming=0 che disabilita le trasformazioni strutturali
-PDer=1 Stampa a video tutte le clausole derivate (anche non utilizzate ai fini della dimostrazione)
-PSub=1 Stampa a video tutte le clausole sussunte
-PTaut Stampa a video tutte le tautologie

Volendo puoi mettere anche:
-Select=2 che prevede sempre la selezione di un letterale negativo
23-01-2008 09:19
Click Here to See the Profile for elpampero Click here to Send elpampero a Private Message Find more posts by elpampero Add elpampero to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 14:41.    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.096 seconds (59.27% PHP - 40.73% MySQL) con 25 query.