.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- (Logica per le app) Argomenti Ranise (http://www.dsy.it/forum/showthread.php?threadid=31043)

(Logica per le app) Argomenti Ranise

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

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!

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.

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!