.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- [ESAME] Appello 27/01/06 (http://www.dsy.it/forum/showthread.php?threadid=23474)

esame 27 gennaio

Ciao!
Sapete come è andato l'esame del pre-appello?
Cosa chiede, su cosa punta?
..e...ci sono vincoli nel tipo di es. da scegliere per fare in spass?
...e! di Raise..che tipo di domande farà?

beh, basta domande!
grazie e ariciao!

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

qualcuno che ha dato l'esame l'anno scorso puo' darci qualche dritta?
l'esame del 19 mi sa che non l'ha fatto nessuno

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

No no, so di per certo che almeno due ragazzi c'erano!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

solo due?! cavolo.... chissà ghilardi che contento
voi come siete messe?
io mi son persa le ultime lezioni, non le ho ancora guardate:
voi avete capito che tipo di es bisogna scegliere?

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

beh io mi sto guardando quasi tutti gli es della libreria tptp che trovi sul sito di spass per potermi fare un'idea!di sicuro potero' un esercizio con superposition,tipo quelli che il prof ha dimostrato nelle ultime lezioni!ti consiglio di guardarle al piu' presto

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

oro il tuo consiglio
miittica Luna!
e alle esercitazioni seiete state? ha detto cose molto importanti, o con spass si fa amicizia lo stesso? ora sono solo sulla parte teorica, e
spass devo ancora approcciarlo..sigh!

ah! cmq a me un ragazzo...ora mi viene in mente!! che ha dato l'esame a dic, mi ha detto che di teria ghilardi chiede poco, non è che si devono imparare a memoria le definizioni a quanto pare, basta capire...

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

io all'esercitazione non ci sono stata pero' puoi trovare maggiori info a questo link http://homes.dsi.unimi.it/~zucchell/ (devi andare sotto teaching)

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

All'esercitazione ha svolto l'esercizio della librerai TPTP, cartella PUZ, il primo (o secondo), comunque quello riguardante lomicidio di Dredbury e di una certa zia Agatha ( ).
Il prof ha vivamente consigliato di scegliere un esercizio con l'uguaglianza, quindi che utilizzi almeno una regola di SPr o SPl nella dimostrazione (dovete mettere -DocProof=1 nelle options di SPASS).
Inoltre durante una lezione Ghilardi aveva anche detto di settare le options -Sorts=0 e -Splits=0 per disattivare regole più complesso.
Inoltre, per la scelta del KBO o LPO mi pare che non abbia detto nulla, quindi mi sa che potete tenere pure l'ordinamento di default (il KBO!)

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

cavolo,grazie mille per le informazioni utili!
eh, l'es di Agata ( !!! ) lo avevo visto, ma da qui ad averlo capito bene..'zomma...
voi come siete messe?
ciao!

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

ciao qualcuno mi sa dare la definizione di rappresentabilita` nella logica dei predicati
del primo ordine è nella lista di cose da sapere per ranise....


ciao e grazie

Scusa se ti rispondo solo ora (probabilmente hai fatto l'esame oggi e non si servirà più! ), ma comunque ti rispondo lo stesso!
La definizione di rappresentabilità puoi trovarla sulle dispense di Ranise, ed è la definizione di come un insieme possa essere mappato su una formula che, per n=1, rappresenta un sottoinsieme del dominio e che per n>1 rappresenta una relazione di arietà n sul dominio!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Re: esame 27 gennaio

Originally posted by bau
Ciao!
Sapete come è andato l'esame del pre-appello?

Cosa chiede, su cosa punta?

..e...ci sono vincoli nel tipo di es. da scegliere per fare in spass?

...e! di Raise..che tipo di domande farà?

__________________
Ogni uomo mente, ma dategli una maschera e sarà sincero.
~ joker402 ~

Re: Re: esame 27 gennaio

Originally posted by joker402
se interessa, anche per i prossimi appelli: all'esame, in questo appello (27/01/06)
....
E molto utile che si sappia il motivo di queste cose (x' si usa il modello di H., perchè dpll, ...), secondo me aiuta molto ad alzare il voto!
mi pare tutto!

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

Per la parte di Ranise, assolutamente cosa è un universo di herbrand, il teorema e il metodo! Oltre alle definioni formali, proprio il concetto che sta alla base e le motivazioni di queste scelte!
E poi come funziona l'algoritmo della DPLL, quello è stato chiesto a 3 persone su 3 del mio gruppo di cui ho sentito l'interrogazione!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.