.dsy:it. - [LOGICA MATEMATICA] Skolemizzazione

Calendar

Members

Faq

Logout

.dsy:it. : Powered by vBulletin version 2.3.1

.dsy:it. > Didattica > Corsi G - M > Logica matematica > [LOGICA MATEMATICA] Skolemizzazione

Last Thread Next Thread

Author

Thread Expand all | Contract all

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

[LOGICA MATEMATICA] Skolemizzazione

Ciao a tutti,
volevo giusto sapere se la skolemizzazione la chiede ancora.
Studiando le dispense del prof nn trovo nulla ne su skolemizzazione ne su unificazione (forse riguarda il prolog?)

03-06-2007 20: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

no nel primo compitino nn c'era ne skolemizzazione nè unificazione

solo dimostrazione , contromodello , dpll e le 3 domandine solite

05-06-2007 12:25

Joliet Jake

.illuminato.

User info:

Registered: Oct 2006
Posts: 249 (0.04 al dì)
Location: Milano
Corso: Informatica triennale
Anno: 3
Time Online: 1 Day, 4:31:25 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

scusate, ma dall'assenza di skolemizzazione ed unificazione si deduce che non ci sono nè mai ci saranno nei compitini?
io non ho seguito e non capisco sinceramente dove dovrei cercare per saperle..

__________________
In Blues We Trust

27-08-2007 15:33