.dsy:it. - 1° compitino

Calendar

Members

Faq

Logout

.dsy:it. : Powered by vBulletin version 2.3.1

.dsy:it. > Didattica > Corsi G - M > Logica matematica > 1° compitino

Pages (2): « 1 [2]

Last Thread Next Thread

Author

Thread Expand all | Contract all

CaboM.BNA

.grande:maestro.

User info:

Registered: Jan 2006
Posts: 503 (0.07 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 23:32:44 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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

13-05-2007 19:15

Click here to Send CaboM.BNA a Private Message

DarkStalker

.consigliere.

User info:

Registered: Jun 2002
Posts: 115 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 2 Days, 4:56:07: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

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

Last edited by DarkStalker on 14-05-2007 at 12:57

14-05-2007 12:54

Click here to Send DarkStalker a Private Message

stehouse

Guest

User info:

Registered: Not Yet
Posts: N/A (0 al dì)
Location:
Corso:
Anno:
Time Online: [...]
Status:

Post actions:

Edit | Report | IP: Logged

14-05-2007 14:28

CaboM.BNA

.grande:maestro.

User info:

Registered: Jan 2006
Posts: 503 (0.07 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 23:32:44 [...]
Status: Offline