.dsy:it. - bimbamel's journal ~ Skolem

Il progetto dsy.it è l'unofficial support site i corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, la chat, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto dei nostri blogs

Guarda la pagina live qui

.dsy:it. ~ bimbamel's journal ~ Skolem

Skolem

14-01-2005 19:08

allora ho imparato a fare le dimostrazioni...
a cercare i contromodelli...
a formalizzare i ragionamenti...
ma come cavolo si fa a sKolemizzare?!?! :cagatemi:

non lo trovo da nessuna parte....nessuno sa rispondermi.... UFFA!!!

mood: Voglio SKOLEMIZZARE!! (sembra una brutta parola) |

now playing: (none)

Commento di holylaw

14-01-2005 19:08

calma calma..... da una forma normale prenessa e' facile: basta sostituire ogni variabile con quantificatore esistenziale con una funzione con argomenti le variabili con quantificatore universale PRIMA del quantificatore esistenziale preso in considerazione... ovviamente se il primo quantificatore e' un esistenziale basta sostituire la variabile con una costante... spero si sia capito qualcosa

Commento di bimbamel

14-01-2005 19:08

:sbonk: ora lo rileggo con super calmissima per capire... cmq grazie :lode:

Commento di holylaw

14-01-2005 19:08

esempio banale: ExUyUzEw(P(x, y) and Q(z, w) Skolemizzata viene: UyUz(P(a, y) and Q(z, f(y, z))

Commento di 0m4r

14-01-2005 19:08

skolemizzare non è quel procedimento per cui si portano all'esterno tutti i quantificatori??

Commento di holylaw

14-01-2005 19:08

nono quella e' la forma normale prenessa.. skolemizzare vuol dire eliminare tutti i quantificatori esistenziali

Commento di bimbamel

14-01-2005 19:08

Faccio ancora fatica a farli... :o(

Commento di holylaw

14-01-2005 19:08

susu un po' di esercizio e vedi che prima o poi ti verrano... spero :D hai qualche problema in particolare?

Commento di bimbamel

14-01-2005 19:08

...diciamo che faccio molta fatica!!! Però forse forse ci sono arrivata... Mille grazie davvero :D

Commento di 0m4r

14-01-2005 19:08

forma normale prenessa.. come ho potuto confondermi. Chiedo perdono al Signor sKolem...e che SPASS non mi punisca per questo...