.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- 1° compitino (http://www.dsy.it/forum/showthread.php?threadid=30262)

la formalizzazione NON c'e (almeno cosi mi ha detto la Buccalo al ricevimento)..
le cose da sapere sono:
- RICERCA DI DIMOSTRAZIONE
- CONTROMODELLO
- DPLL
- QUESITI DI TEORIA (tipo: "cos'è un enunciato?" "cosa è un termine ground")

per i 2 es ke non sei riuscito a risolvere prova a dare un'occhiata nell'area FILEZ ke ci dovrebbero essere (ma sono svolti col vecchio metodo); se invece ti interessa il nuovo metodo appena li faccio te li mando.. (oggi ho fatto l'appello di luglio 2006 e gennaio 2007, domani ne faccio ancora qualcuno)
byez

Qlcno potrebbe postare la F.N.N. del primo esercizio dell'esame di giu 2006?
Prima di calcolare devo negare tutto quanto?


Dimenticavo se ho una cosa del tipo P(f(x)), la funzione all'interno del predicato dev'essere trattata in modo particolare?

Grassie

la formalizzazione NON c'e (almeno cosi mi ha detto la Buccalo al ricevimento)..
le cose da sapere sono:
- RICERCA DI DIMOSTRAZIONE
- CONTROMODELLO
- DPLL
- QUESITI DI TEORIA (tipo: "cos'è un enunciato?" "cosa è un termine ground")

per i 2 es ke non sei riuscito a risolvere prova a dare un'occhiata nell'area FILEZ ke ci dovrebbero essere (ma sono svolti col vecchio metodo); se invece ti interessa il nuovo metodo appena li faccio te li mando.. (oggi ho fatto l'appello di luglio 2006 e gennaio 2007, domani ne faccio ancora qualcuno)
byez


AH OK PERFETTO.. ALLORA OGGI CONTINUO A ESERCITARMI , ME LI RIFACCIO POI SE AVRAI TEMPO E RIESCI A MANDARMELI MOLTO VOLENTIERI..

BELLA ^^

postati nell'area FILEZ gli ultimi 4 appelli risolti con il nuovo (ma sopratutto DIVERTENTISSIMO) metodo...

grande grazie mille!