 | |
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 |
[LPA] Spass e dintorni
Clicca QUI per vedere il messaggio nel forum |
| Yumemori |
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 |
| primu2002 |
| La congettura se usi lo spasseditor la nega automaticamente! |
| primu2002 |
| ma il problema che dai in input a SPASS è in formule o in clausole? |
|
|
|
|
