.dsy:it. - (Logica per le app) Argomenti Ranise

.dsy:it.
//www.dsy.it

(Logica per le app) Argomenti Ranise

Posted by dicane on 11-06-2007 17:53

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