(Logica per le app) Argomenti Ranise
Clicca QUI per vedere il messaggio nel forum |
| dicane |
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 :) |
| dicane |
Dai non e' possibile che nessuno sappia niente.. neanche per sentito dire :D
....Lo so che farei prima a studiarmi anche quella parte ma e' piu forte di me! |
| Flavia |
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! :D |
| dicane |
Grazie mille per la risposta, non ci speravo piu guarda :D
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! |
|
|
|
