darkshadow

Are You From The Past?

User info:

Registered: Jul 2007
Posts: 485 (0.07 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 13 Days, 13:38:56 [...]
Status: Offline

Post actions:

 
Allora anch'io ci ho messo un po a capire ma alla fine ci sono arrivato.

il tutto è spiegato a pag 25 prima degli esercizi.

c'è scritto che quando trovi una cosa del tipo A1, A2, ..... , An => B1, B2, .... , Bm

a sx del => devi sostituire le virgole con AND ( /\ ) mentre a dx del => devi sostituire le virgole con OR ( V ) e invece del simbolo => metti il simbolo di implicazione -->

poi ci sono i 2 casi particolari:

1)
    a sx non hai termini e quindi hai una cosa del tipo => B1, B2, ..... , Bm

    in questo caso togli il => e sostituisci le virgole con OR

2)
    a dx non hai termini e hai una cosa del tipo: A1, A2, ..... , An =>
    in questo caso togli il => e sostituisci le virgole con AND e neghi il tutto ossia: not (A1 /\ A2 /\ ..... /\ An)

spero di essere stato chiaro.

cmq che ne dite di mettere qualche soluzione??

e confrontare i risultati?

ciao


ds

__________________
by Ð@rk§h@ÐØw

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

qualcuno sa dirmi cosa avviene nel passaggio che ho evidenziato nell'allegato???(rettangolo rosso)

non riesco a capire da dove spuntano fuori quei due elementi, perchè applicando l'espansione "perOgni" non dovrebbero comparire quei termini

Attachment: pag 12.jpg
This has been downloaded 25 time(s).

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

ne posto un altro simile...di + facile comprensione

il mio preblema è sempre quello....mi ritrovo un termine che non so da dove spunta

help me!!!

Attachment: pag 01.jpg
This has been downloaded 11 time(s).

darkshadow

Are You From The Past?

User info:

Registered: Jul 2007
Posts: 485 (0.07 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 13 Days, 13:38:56 [...]
Status: Offline

Post actions:

quando torno a casa li guardo

ora sono al lavoro.

ciao.

__________________
by Ð@rk§h@ÐØw

Last edited by darkshadow on 20-05-2009 at 17:45

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

ok grazie mille, anke perkè c'è solo quel punto che mi blocca

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

mi sa che sono riuscito a risolvere...grazie lo stesso

darkshadow

Are You From The Past?

User info:

Registered: Jul 2007
Posts: 485 (0.07 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 13 Days, 13:38:56 [...]
Status: Offline

Post actions:

ho un dubbio sull'esercizio 2 di pag 25

facendo il tutto ottengo:

PerOgni x PerOgni y( R(x, y) V R(y, x)), Esiste x PerOgni y ⌐R(x, y)

applico la regola per l'operatore esistenziale con un nuovo termine a

PerOgni x PerOgni y( R(x, y) V R(y, x)), PerOgni y ⌐R(a, y)

a questo punto ciò che mi chiedo è: posso applicare la regola per il quantificatore universale con il termine 'vecchio' a??

cioè fare:

PerOgni x PerOgni y( R(x, y) V R(y, x)), PerOgni y ⌐R(a, y), ⌐R(a, a) ??

e poi eventualmente usare sempre a per applicare la regola su PerOgni x PerOgni y( R(x, y) V R(y, x)) visto che a è un termine 'vecchio'.. ovviamente dopo che l'ho applicato su tale formula non lo applico + li ma dovro eventualmente introdurre un nuovo termine.


non so se mi sono spiegato...

ciao

__________________
by Ð@rk§h@ÐØw

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

secondo me bisogna usare un termine nuovo 'b', altrimenti non avrebbe senso la scrittura R(x,y) e R(y,x)...diventerebbero uguali....poi non so

Microke

User info:

Registered: Jul 2004
Posts: 191 (0.02 al dì)
Location: Milano
Corso: Informatica F94
Anno: 1
Time Online: 4 Days, 21:27:27 [...]
Status: Offline

Post actions:

Si può usare sempre lo stesso termine,è così con il quantificatore universale

darkshadow

Are You From The Past?

User info:

Registered: Jul 2007
Posts: 485 (0.07 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 13 Days, 13:38:56 [...]
Status: Offline

Post actions:

poco fa sono stato dal prof e mi ha detto che posso riuttilizzare a.

__________________
by Ð@rk§h@ÐØw

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

però nella formula PerOgni x PerOgni y( R(x, y) V R(y, x)), PerOgni y ⌐R(a, y) non hai un termine singolo, cioè non hai ⌐R(a, y)....quindi su quale letterale ti basi?

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

cmq ho notato ke se non si fa come dici tu, cioè riapplicare il quantificatore universale su "a", c'è un ramo che non termina....
però continuo a non capire come lo riapplichi

darkshadow

Are You From The Past?

User info:

Registered: Jul 2007
Posts: 485 (0.07 al dì)
Location: Milano
Corso: Informatica Magistrale
Anno: 1
Time Online: 13 Days, 13:38:56 [...]
Status: Offline

Post actions:

Originally posted by niko_2307
però nella formula PerOgni x PerOgni y( R(x, y) V R(y, x)), PerOgni y ⌐R(a, y) non hai un termine singolo, cioè non hai ⌐R(a, y)....quindi su quale letterale ti basi?

__________________
by Ð@rk§h@ÐØw

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

si questo mi è kiaro...il mio dubbio sta nel fatto che fai: allora a lo introdotto perchè c'era il Esiste e cosi ottengo:

PerOgni x PerOgni y( R(x, y) V R(y, x)), PerOgni y ⌐R(a, y)

a questo punto uso a in PerOgni y ⌐R(a, y) che diventa:

PerOgni y ⌐R(a, a)

e riutilizzi la "a" che è stata creata con ESISTE, ma tale è adesso sta dentro una sottoforuma di perOgni e non in una formula singola....non so se mi sono fatto capire

niko_2307

User info:

Registered: May 2008
Posts: 95 (0.01 al dì)
Location:
Corso:
Anno:
Time Online: 1 Day, 0:26:02: [...]
Status: Offline

Post actions:

ragazzi sapete darmi delle info sul terzo compitino??
Il prof ha detto qualcosa ieri, ma sinceramente non sono stato molto attento

e sopratutto...sapete dirmi dove studiare, dato che non ho trovato delle dispense sul sito.???

grazie