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 > [LPA] Spass e dintorni
  Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
Yumemori
*Shadow Dancer*

User info:
Registered: Oct 2002
Posts: 92 (0.01 al dì)
Location: Milano
Corso: uhm...che corso sto seguendo???
Anno: >_<
Time Online: 2 Days, 2:38:03: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
[LPA] Spass e dintorni

Della serie: "panico pre-esame"

Sto cercando di capirci qualcosa del dannato esempio da portare per l'esame e mi sto perdendo via in un bicchiere d'acqua.
Sto guardando il problema puzz005-1 (leoni e unicorni). E' una variazione dei cavalieri e furfanti: i leoni mentono in alcuni giorni, gli unicorni in altri. A fronte di una affermazione fatta da entrambi, mi chiede di provare se e' un dato giorno.

Ora, i dubbi miei sono multipli. Dopo averlo formalizzato, non devo negare la ipotesi? sto trovando esempi (anche di ghilardi, come quello dei barbieri) in cui non ha negato le ipotesi.
Mi chiedera' tutte le opzioni che attivo vero?

Il secondo e' un po' piu' pratico: quantotiene sotto in esame? ho visto iscritte 14 persone per informatica e altrettante per l'altro corso :shock: temo una morte luuuunga e dolorosa xD

__________________
I'm sure that the heart I left behind
still lies hidden in the heart of the deep, deep forest.

Fukai Mori -- Do as Infinity

23-02-2009 10:07
Click Here to See the Profile for Yumemori Click here to Send Yumemori a Private Message Visit Yumemori's homepage! Find more posts by Yumemori Add Yumemori to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
primu2002
.amico.

User info:
Registered: Jan 2007
Posts: 37 (0.01 al dì)
Location:
Corso: TICO
Anno: 1
Time Online: 14:01:44 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

La congettura se usi lo spasseditor la nega automaticamente!

23-02-2009 12:00
Click Here to See the Profile for primu2002 Click here to Send primu2002 a Private Message Find more posts by primu2002 Add primu2002 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Yumemori
*Shadow Dancer*

User info:
Registered: Oct 2002
Posts: 92 (0.01 al dì)
Location: Milano
Corso: uhm...che corso sto seguendo???
Anno: >_<
Time Online: 2 Days, 2:38:03: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Non sto usando lo SpassEditor e ho guardato il file di Ghilardi relativo a Spass. Giusto per farvi capire, ecco il link http://homes.dsi.unimi.it/~zucchell...07/barbieri.dfg

__________________
I'm sure that the heart I left behind
still lies hidden in the heart of the deep, deep forest.

Fukai Mori -- Do as Infinity

23-02-2009 13:35
Click Here to See the Profile for Yumemori Click here to Send Yumemori a Private Message Visit Yumemori's homepage! Find more posts by Yumemori Add Yumemori to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
primu2002
.amico.

User info:
Registered: Jan 2007
Posts: 37 (0.01 al dì)
Location:
Corso: TICO
Anno: 1
Time Online: 14:01:44 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

ma il problema che dai in input a SPASS è in formule o in clausole?

23-02-2009 17:51
Click Here to See the Profile for primu2002 Click here to Send primu2002 a Private Message Find more posts by primu2002 Add primu2002 to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 09:52.    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.058 seconds (60.78% PHP - 39.22% MySQL) con 23 query.