dicane

.illuminato.

User info:

Registered: Oct 2005
Posts: 218 (0.03 al dì)
Location: Milano
Corso: Informatica
Anno: non ricordo :)
Time Online: 4 Days, 8:12:04: [...]
Status: Offline

Post actions:

Da quel che ho capito leggendo altri thread sulla parte di ranise vengono spesso chiesti il teorema di herbrand e compagnia bella. Per quanto riguarda invece la parte sulla formalizzazione del programma sulle liste in C ha mai chiesto qualcosa??
Visto che secondo me e' la parte piu pallosa, se non la chiede mai la tralascio volentieri

Last edited by dicane on 12-06-2007 at 21:39

dicane

.illuminato.

User info:

Registered: Oct 2005
Posts: 218 (0.03 al dì)
Location: Milano
Corso: Informatica
Anno: non ricordo :)
Time Online: 4 Days, 8:12:04: [...]
Status: Offline

Post actions:

Dai non e' possibile che nessuno sappia niente.. neanche per sentito dire
....Lo so che farei prima a studiarmi anche quella parte ma e' piu forte di me!

Last edited by dicane on 12-06-2007 at 21:42

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:

Allora, per la parte di Ranise, viene SEMPRE chiesto il teorema, il metodo etc... di Herbrand! Spesso viene chiesta la DPLL! Raramente viene chiesta la formalizzazione (che però ti consiglio di guardare un po').
Poi dipende se capiti con il buon Ghilardi o con Ranise. Ghilardi non penso abbia mai chiesto le cose sulla formalizzazione, Ranise invece ci punta sicuramente di più; se capiti con Ranise ovviamente lui è portato a chiederti ogni cosa che ha spiegato!

Comunque con Ghilardi fidati che la domanda è sempre quella: Herbrand o DPLL!

__________________
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.

dicane

.illuminato.

User info:

Registered: Oct 2005
Posts: 218 (0.03 al dì)
Location: Milano
Corso: Informatica
Anno: non ricordo :)
Time Online: 4 Days, 8:12:04: [...]
Status: Offline

Post actions:

Grazie mille per la risposta, non ci speravo piu guarda
Visto che sei cosi' gentile ne approfitto per chiederti altre due cosette...
1) Sai se c'e' un ordine stabilito dai professori per fare l'orale o se ci si mette d'accordo tra studenti?
2) Quanto dura piu o meno l'orale?


Ti ringrazio, Ciao!