.dsy:it. Pages (2): [1] 2 »
Show 150 posts per page

.dsy:it. (http://www.dsy.it/forum/)
- Filosofia del linguaggio (http://www.dsy.it/forum/forumdisplay.php?forumid=78)
-- [Aiuto]Contromodelli (http://www.dsy.it/forum/showthread.php?threadid=19891)


Posted by Mifune on 03-06-2005 15:52:

[Aiuto]Contromodelli

chi mi spiega come procedere con i contro modelli con un bel esempio chiarificatore?

Grazie

mifune

__________________
Imac G5 2.1 Ghz 20" 1.5 Ram - Ibook 1.2 Ghz 12" 768 Ram - Ipod mini 4Gb - Base airport extreme - jbl creature
nippi.it - Blog


Posted by N@RV1 on 03-06-2005 18:24:

Re: [Aiuto]Contromodelli

Originally posted by Mifune
chi mi spiega come procedere con i contro modelli con un bel esempio chiarificatore?

Grazie

mifune


Allora..
se arrivi ad un punto che nn puoi fare + niente e non ci sono assiomi...
fai il contromodello

Indichi l'insieme D ={}
Composto da tutti i termini che hai adoperato (es. P(a),P(b)
diventa

D= {a,b}

Poi dividi i veri dai falsi...(a sx del sequente son veri a dx son falsi)[es. P(a)-->P(b)]
Fai :

Vere = P(a)
False = P(b)

Poi fai l'interpretazione...

I(P) = {a} (si mette il termine che è nella parte vera)

Se c'era un Q(x) sulla destra mettevi
I(Q) = {0}


era questo che intendevi!?


se ho scritto qualcosa di sbagliato ditelo..

ciao ciao

__________________
.:N@RV!:.


Posted by Mifune on 03-06-2005 18:41:

si ma nn mi è chiara lainterpolazione qualche esercizio o esempio?

__________________
Imac G5 2.1 Ghz 20" 1.5 Ram - Ibook 1.2 Ghz 12" 768 Ram - Ipod mini 4Gb - Base airport extreme - jbl creature
nippi.it - Blog


Posted by N@RV1 on 03-06-2005 20:30:

Originally posted by Mifune
si ma nn mi è chiara lainterpolazione qualche esercizio o esempio?



iterpolazione??!!

__________________
.:N@RV!:.


Posted by Mifune on 03-06-2005 20:42:

Originally posted by N@RV1
iterpolazione??!!


sbonk a furia di lavorare... interpretazione... ;)

__________________
Imac G5 2.1 Ghz 20" 1.5 Ram - Ibook 1.2 Ghz 12" 768 Ram - Ipod mini 4Gb - Base airport extreme - jbl creature
nippi.it - Blog


Posted by N@RV1 on 04-06-2005 11:34:

P(a),P(b),Q(a) ==> P(C)

Metto i termini che sono nella parte vera! a sx abbiamo a - b - a
Gli diciamo a chi appartengono cosi :

I(P) = {a,b} oppure I(P) = {a,b,c} metto anche la c xkè potrebbe esserci ma nn cè!
I(Q) = {a} oppure I(Q) = {a,b,c} metto anche la b e c xkè potrebbero esserci ma nn ci sono(ne a dx ne a sx)!

va meglio come spiegazione!?

__________________
.:N@RV!:.


Posted by Mifune on 04-06-2005 13:49:

ha ok... in pratica metto tutte le possibili combinazioni!!! tutto qui da sapere dei contromodelli?

__________________
Imac G5 2.1 Ghz 20" 1.5 Ram - Ibook 1.2 Ghz 12" 768 Ram - Ipod mini 4Gb - Base airport extreme - jbl creature
nippi.it - Blog


Posted by N@RV1 on 04-06-2005 19:53:

Originally posted by Mifune
ha ok... in pratica metto tutte le possibili combinazioni!!! tutto qui da sapere dei contromodelli?



si si si .. tu gli scrivi tutte le cose che ho scritto sopra e basta...il difficile è risolvere il tutto nn il contromodello!
Ciao

__________________
.:N@RV!:.


Posted by Mifune on 04-06-2005 20:00:

Grazie 1000 :) aggiungo il difficile è tutto.....

__________________
Imac G5 2.1 Ghz 20" 1.5 Ram - Ibook 1.2 Ghz 12" 768 Ram - Ipod mini 4Gb - Base airport extreme - jbl creature
nippi.it - Blog


Posted by Loop on 04-06-2005 23:56:

uh...credo di aver capito anche questo... xò mi vengono dei dubbi in questo esercizio qua

http://www.dsy.it/forum/attachment.php?s=&postid=247745

in I(p) ci sono anche (a,a) e (b,b) ma se ci fossero quei valori allora facendo una nuova istanziazione del esiste a destra il ramo chiuderebbe!!!

in I(p) c'è da mettere i valori che potrebbero essere veri no? ma allora, per come è strutturato in partenza (mi riferisco al perogniXperogniYnonP(x,y)) non ci devono essere valori con x e y uguali... in realtà sarebbe:

I(p) = {a,b} oppure {b,a}

e basta, no?!


Posted by N@RV1 on 05-06-2005 10:30:

Io avrei messo

I(P) = {a,b} oppure I(P) = {b,a}

Come dici tu.....quell'esercizio lhai fatto tu o l'aveva fatto il prof?!se no mi vengono i dubbi....! :D

__________________
.:N@RV!:.


Posted by Loop on 05-06-2005 10:49:

no, era un esercizio postato da barone tra i filez.. mentre stavo cercando di capire qlc mi sono accorto di quella roba li.. pare che sia l'esercizio che ha proposto la bucalo l'ultima lezione...

un'altra cosa.. barone & co se ne sono accorti, ho letto solo ora, che c'era anche la c nel dominio.. quindi in totale sarebbe:

I(p) = {ab, ba, ac, ca, bc, cb}

credo :P


Posted by N@RV1 on 05-06-2005 19:48:

Allora era

I(P) = {a,b} oppure I(P) = {b,a ; c}


bc ac ca bc cb nn li hai!Da dove li hai presi?!

hai un Q(C) xciò volendo si potrebbe avere un P(C)


No!?
ciao...


Uhm si avvicina il 7....

__________________
.:N@RV!:.


Posted by Loop on 05-06-2005 23:20:

scusa, ma se P è un (x,y) nn mi sembra che ci puoi mettere valori singoli tipo c...

ora..nn so se ho capito bene ma si trattava di mettere in I(p) tutte le P vere oppure tutte le P non false utilizzando i termini introdotti...se i termini introdotti sono a, b, c allora in I(p) ci devi mettere la combinazione presente, cioè {(a,b)} oppure {(b,a)(b,c)(c,b)(c,a)(a,c)}
xchè sono tutte quelle che potrebbero rivelarsi vere...


Posted by Loop on 06-06-2005 11:56:

Errata corrige:

nel esercizio proposto la parte vera di P è istanziata da due PEROGNI a destra quindi sfrutta solo variabili nuove.. quindi nella parte vera di P ci vanno solo i valori usati al momento di istanziazione ovvero I(p) = {(a,b)}

la storia del mettere i valori che potrebbero essere veri si usa solo nei casi in cui si prendono valori già usati (PEROGNI a sx e ESISTE a dx)

quindi l'esercizio finisce così:

D:{a,b,c}

I(p) = {(a,b)}
I(q) = {}

scusate x la confusione :(


All times are GMT. The time now is 07:51. Pages (2): [1] 2 »
Show all 20 posts from this thread on one page

Powered by: vBulletin Version 2.3.1
Copyright © Jelsoft Enterprises Limited 2000 - 2002.