bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

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

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.55 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

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

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.38 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

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.

bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

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

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.55 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

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

bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

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

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.55 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

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

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.38 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

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.

bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

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

m-mad

.amico.

User info:

Registered: May 2003
Posts: 31 (0.00 al dì)
Location: Solaro
Corso: Tecn Inf e Com
Anno: DOTTOREEEEEEE
Time Online: 1 Day, 13:14:40 [...]
Status: Offline

Post actions:

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

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.38 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

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.

joker402

dsy core staff

User info:

Registered: Nov 2002
Posts: 2429 (0.29 al dì)
Location: Milano
Corso: TICom
Anno: II+
Time Online: 49 Days, 14:29:03: [...]
Status: Offline

Post actions:

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

se interessa, anche per i prossimi appelli: all'esame, in questo appello (27/01/06) hanno interrogato in tre gruppi: uno con il prof, uno con gli assistenti, ed uno con Ranise. Sono stati tutti abbastanza buoni e larghi con i voti, non chiedono cose difficilissime e se non si sa subito la risposta cercano di farci arrivare. Ovviamente le definizioni, le regole, il funzionamento e l'utilità delle cose che sono sulla dispensa sono da sapere.

Cosa chiede, su cosa punta?

del corso: parte da una regola del problema che si è prortato e chiede la formula, i vincoli se ci sono e un po di cose correlate. Spesso prende una SpL SpR o MRR. Sulle SpL e SpR chiedono bene i vincoli e la loro motivazione.
Poi fa domande un po'su tutte le cose della dispensa: ordinamenti, le proprietà degli ordini di riscrittura, di semplificazione, il kbo e lpo che tipo di ordinamento sono, cos'è la precedenza, ...
Poi ha chiesto cos'è una sostituzione, una s.più generale, l'mgu, le regole dell'mgu, la differenza con il matching, ...
Poi completezza refutazionale, cosa vuol dire e come si trovano i massimali e strettamente massimali, ...

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

Qualsiasi prendi, devi sapere tutte le regole che usa nella dimostrazione. E' utile prendere un problema non troppo semplice, e che usi un po' di regole viste a lezione. Fra le cose che ha sempre suggerito bisogna disattivare "Sorts" e "splits". E' sconsigliato prendere problemi già visti a lezione come ad es. agatha.

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

Spessissimo l'universo di herbrand, poi il teorema di h. e il metodo di h., può essere che dia una formula e si debba trovare l'uinverso di herbrand. A volte chiede come funziona l'interpretazione nel modello di Herbrand.
Altre cose che chiede: la definizione di rappresentabilità, l'algoritmo dpll. Ranise ha chiesto anche cose sulla prima parte, ma qua non so bene.
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!

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

bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

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!

GRAZIE MILLE!
sei stato gentilissimo, sono preziosissime informazioni, dato poi che l'esame...passa ad aprile, pensavo di provarlo pure io, ma ho dovuto driblare su di un altro. Grazie!

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

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.38 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

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.