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 > Spass
Pages (2): « 1 [2]   Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
dtag
.simpatizzante.

User info:
Registered: Mar 2006
Posts: 13 (0.00 al dì)
Location:
Corso: TICOM
Anno:
Time Online: 3:33:44 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by XXXX
si..
pero mi sa che è troppo lungo e incasinato... ne vorrei uno piu semplice :(

E' quello che ho scelto anche io.. :D
10-07-2007 19:54
Click Here to See the Profile for dtag Click here to Send dtag a Private Message Find more posts by dtag Add dtag to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
dtag
.simpatizzante.

User info:
Registered: Mar 2006
Posts: 13 (0.00 al dì)
Location:
Corso: TICOM
Anno:
Time Online: 3:33:44 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Guardi per favore la "Given clause 42"? La [Res: 25.1,19.2] non termina in fallimento?
Oppure fa per caso una rinomina della variabile U nella seconda clausola in modo da renderla disgiunta dalla prima? :?

Last edited by dtag on 10-07-2007 at 20:02
10-07-2007 19:57
Click Here to See the Profile for dtag Click here to Send dtag a Private Message Find more posts by dtag Add dtag to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
XXXX
.consigliere.

User info:
Registered: Jan 2007
Posts: 135 (0.02 al dì)
Location:
Corso: informatica
Anno:
Time Online: 21:43:17 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

ma tu che opzioni metti?

ora guardo
10-07-2007 20:01
Click Here to See the Profile for XXXX Click here to Send XXXX a Private Message Find more posts by XXXX Add XXXX to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
dtag
.simpatizzante.

User info:
Registered: Mar 2006
Posts: 13 (0.00 al dì)
Location:
Corso: TICOM
Anno:
Time Online: 3:33:44 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by XXXX
ma tu che opzioni metti?

ora guardo


-Splits=0 -Sorts=0 -Docproof=1
10-07-2007 20:03
Click Here to See the Profile for dtag Click here to Send dtag a Private Message Find more posts by dtag Add dtag to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
XXXX
.consigliere.

User info:
Registered: Jan 2007
Posts: 135 (0.02 al dì)
Location:
Corso: informatica
Anno:
Time Online: 21:43:17 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

se t va lo possiamo vedere tutto dall'inizio cosi vediamo se abbiamo capito...ora guardo la given

io pero ho un dubbio..se metti quelli opzioni,poi nel risultato in spass esce
Reductions: RFMRR=1 RBMRR=1 RObv=1 RUnC=1 RTaut=1 RSST=1 RSSi=1 RFSub=1 RBSub=1 RCon=1

e noi nn abbiamo farro Rcon o runc e robv no? nn dobbiamo disattivarle?
se le disattivo nn si ferma piu...


c'è qualcosa che nn torna..a me nn da la given clause 42 :/

Last edited by XXXX on 10-07-2007 at 20:07
10-07-2007 20:04
Click Here to See the Profile for XXXX Click here to Send XXXX a Private Message Find more posts by XXXX Add XXXX to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
dtag
.simpatizzante.

User info:
Registered: Mar 2006
Posts: 13 (0.00 al dì)
Location:
Corso: TICOM
Anno:
Time Online: 3:33:44 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

mmm... quindi tu dici che dobbiamo dissattivarle? io semplicemente non le consideravo... :D
c'è qualche maestro di SPASS che sa la risposta? :D
Tu hai account skype, icq o jabber? Se si mandami contatto via messaggio privato ci sentiamo domani primo pomeriggio. Io ora mollo perchè sono un po' fuso...

[Della parte di Ranise so ancora poco o niente, tu? :sad:]
10-07-2007 20:24
Click Here to See the Profile for dtag Click here to Send dtag a Private Message Find more posts by dtag Add dtag to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
XXXX
.consigliere.

User info:
Registered: Jan 2007
Posts: 135 (0.02 al dì)
Location:
Corso: informatica
Anno:
Time Online: 21:43:17 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

dai allora c sentiamo domani nel primo pome...mollo anche io..
no d ranise zero quasi..giusto qualcosa sull'universo d herbrand ..
tu le dispense del prof le sai tutte bene?

cmq si bisogna disattivare le opzioni che nn abbiamo mai fatto..poi nn so.. :cry::cry::cry:
10-07-2007 20:27
Click Here to See the Profile for XXXX Click here to Send XXXX a Private Message Find more posts by XXXX Add XXXX to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
dtag
.simpatizzante.

User info:
Registered: Mar 2006
Posts: 13 (0.00 al dì)
Location:
Corso: TICOM
Anno:
Time Online: 3:33:44 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

La mia conoscenza sulle dispense ha un punto di minimo su LPO, KBO e Letterali Massimali...

Last edited by dtag on 10-07-2007 at 22:41
10-07-2007 20:33
Click Here to See the Profile for dtag Click here to Send dtag a Private Message Find more posts by dtag Add dtag to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
XXXX
.consigliere.

User info:
Registered: Jan 2007
Posts: 135 (0.02 al dì)
Location:
Corso: informatica
Anno:
Time Online: 21:43:17 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

ti ho mandato un msg privato...:-D
11-07-2007 11:43
Click Here to See the Profile for XXXX Click here to Send XXXX a Private Message Find more posts by XXXX Add XXXX to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
holylaw
.grande:maestro.

User info:
Registered: Feb 2003
Posts: 3142 (0.37 al dì)
Location: milano
Corso: Magistrale Informatica
Anno: bella domanda
Time Online: 88 Days, 5:30:09: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

ma non c'e' una guida online di spass da qualche parte?

__________________
La mia epoca ed io non siamo fatti l'uno per l'altro:questo è chiaro. Ma è da vedere chi di noi due vincerà il processo di fronte al tribunale dei posteri.
AV MJØDEN VART DU VIS OG KLOK, SÅ DREKKA MER!!!!
Le persone sagge parlano perché hanno qualcosa da dire.
Le persone sciocche perché hanno da dire qualcosa.

Last edited by holylaw on 26-02-2008 at 12:44
26-02-2008 12:24
Click Here to See the Profile for holylaw Click Here to See the Blog of holylaw Click here to Send holylaw a Private Message Find more posts by holylaw Add holylaw to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
holylaw
.grande:maestro.

User info:
Registered: Feb 2003
Posts: 3142 (0.37 al dì)
Location: milano
Corso: Magistrale Informatica
Anno: bella domanda
Time Online: 88 Days, 5:30:09: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

cosa vuol dire equiv??

__________________
La mia epoca ed io non siamo fatti l'uno per l'altro:questo è chiaro. Ma è da vedere chi di noi due vincerà il processo di fronte al tribunale dei posteri.
AV MJØDEN VART DU VIS OG KLOK, SÅ DREKKA MER!!!!
Le persone sagge parlano perché hanno qualcosa da dire.
Le persone sciocche perché hanno da dire qualcosa.
26-02-2008 12:47
Click Here to See the Profile for holylaw Click Here to See the Blog of holylaw Click here to Send holylaw a Private Message Find more posts by holylaw Add holylaw to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
c3ru
!ElaborA!

User info:
Registered: Oct 2003
Posts: 1678 (0.21 al dì)
Location: BG
Corso: Info Mag
Anno: 1°
Time Online: 35 Days, 19:30:22 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

equiv(a,b)

a=b


p.s. qualcuno mi sa dire che ca**o di formato ci vuole per l'esempio in spass? se porto un file PUZ paro paro di come c'è nella libreria (con clause e tutto il resto) gli va bene?

__________________
Nessuno è troppo giovane per avere flashback dal Vietnam

Ogni generazione ha l'eroe che si merita
26-02-2008 13:14
Click Here to See the Profile for c3ru Click Here to See the Blog of c3ru Click here to Send c3ru a Private Message Find more posts by c3ru Add c3ru to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 17:44.    Post New Thread    Post A Reply
Pages (2): « 1 [2]   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.129 seconds (69.00% PHP - 31.00% MySQL) con 24 query.