Barone

non cambio mai avatar

User info:

Registered: Dec 2002
Posts: 4943 (0.61 al dì)
Location:
Corso: Done.
Anno:
Time Online: 36 Days, 5:19:15 [...]
Status: Offline

Post actions:

Originally posted by Randall
Da quello che ho capito devi sollevare al minimo possibile.
Ste

Barone

non cambio mai avatar

User info:

Registered: Dec 2002
Posts: 4943 (0.61 al dì)
Location:
Corso: Done.
Anno:
Time Online: 36 Days, 5:19:15 [...]
Status: Offline

Post actions:

Originally posted by fabpicca
sinceramente non sono molto d'accordo con questa interpretazione.

Non ne capisco il fondamento teorico.

fabpicca

jesus robot d'acciaio

User info:

Registered: May 2002
Posts: 2166 (0.26 al dì)
Location: Pieve Emanuele
Corso: Ticom
Anno: 1°
Time Online: 12 Days, 23:12:28 [...]
Status: Offline

Post actions:

Originally posted by Barone
dici a me o ti riferisci al discorso in generale?

__________________
my website?|ubuntu linux|get Firefox|grazie Polonia |bagdad sour

"Come va che non ha le corna e le zampe di Caprone?" gli opposi. "Oh, Giuvà", mi disse il prete "adesso non si usa più.Satana è furbo". (I.Silone, Fontamara)
"Al giorno d'oggi non bisogna essere intelligenti, perchè la gente si offende" (un ubriacone)
"close your eyes / pay the price / for your paradise" (DM) "whatever you want to change/you'd better start changing it in your mind" (Transatlantic)

bau

.arcimaestro.

User info:

Registered: Dec 2002
Posts: 273 (0.03 al dì)
Location: somewhere over the rainbow
Corso: Informatica -magistrale-
Anno: 3...4?!
Time Online: 2 Days, 4:32:12 [...]
Status: Offline

Post actions:

Es 27:
allora, prima svolgi il primo "perogniX,y,z etc" sostituendo a,b,c, e svolgi l'implica,
poi nel secondo perogniXYZ sostituisci a x e y "b", mentre a z "c",
e nell'esiste di destra sostituisci la x con la "b"...svolgi e ti viene!

capito o son stata poco chiara?

__________________
Will you, won't you, will you, won't you, will you join the dance?~ Lewis Carol

fabpicca

jesus robot d'acciaio

User info:

Registered: May 2002
Posts: 2166 (0.26 al dì)
Location: Pieve Emanuele
Corso: Ticom
Anno: 1°
Time Online: 12 Days, 23:12:28 [...]
Status: Offline

Post actions:

avevo già provato in quel modo, ma non mi convinceva.

Tra l'altro esagerando basta istanziare ogni volta x ,y,z sempre con a o b o c...e sarebbe lo stesso...

grazie comunque!

__________________
my website?|ubuntu linux|get Firefox|grazie Polonia |bagdad sour

"Come va che non ha le corna e le zampe di Caprone?" gli opposi. "Oh, Giuvà", mi disse il prete "adesso non si usa più.Satana è furbo". (I.Silone, Fontamara)
"Al giorno d'oggi non bisogna essere intelligenti, perchè la gente si offende" (un ubriacone)
"close your eyes / pay the price / for your paradise" (DM) "whatever you want to change/you'd better start changing it in your mind" (Transatlantic)

Flavia

Regina degli avatar

User info:

Registered: Sep 2002
Posts: 3228 (0.39 al dì)
Location: Bergamo
Corso: TI.COM
Anno: Finito! :D
Time Online: 25 Days, 9:12:10 [...]
Status: Offline

Post actions:

Ho messo nell'area filez l'esercizio 2 dei vecchi temi d'esame!

Inoltre la frase che Ghilardi ha svolto a lezione questo mercoledì

Inoltre lo svolgimento tipico dell'esercizio che ci sarà nel compitino della Bucalo sulle tavole di verità, i modelli e le conseguenze logiche!

__________________
I ragazzi che si amano si baciano in piedi contro le porte della notte, e la gente che passa li punta con il dito, ma i ragazzi che si amano non ci sono per nessuno ed è la loro ombra soltanto che trema nella notte.
Stimolando la rabbia dei passanti, la loro rabbia il loro disprezzo le risa la loro invidia.
I ragazzi che si amano non ci sono per nessuno.
Essi sono altrove, molto più lontano della notte, molto più in alto del giorno, nell'abbagliante splendore del loro amore.

Last edited by Flavia on 18-12-2004 at 12:17

GinoPilotino

.grande:maestro.

User info:

Registered: Dec 2002
Posts: 1403 (0.17 al dì)
Location: Segrate
Corso: TI.COM
Anno: Secondo
Time Online: 13 Days, 8:59:42 [...]
Status: Offline

Post actions:

grande flavietta!!!

GinoPilotino

.grande:maestro.

User info:

Registered: Dec 2002
Posts: 1403 (0.17 al dì)
Location: Segrate
Corso: TI.COM
Anno: Secondo
Time Online: 13 Days, 8:59:42 [...]
Status: Offline

Post actions:

vorrei fare una precisazione sull'esercizio di ghilardi che dice:
Un cliente ha comprato un prodotto che un commesso gli ha venduto.

la soluzione corretta per me è la seguente:

Ex(cliente( x ) e Ey(prodotto( y ) e difettoso( y ) e Ez(commesso( z ) e vendere( z,y,x )) e comprare( x,y ))))

nell'esercizio di Flavia comprare( x,y ) è tra parentesi dell'Ez fino all'ultimo passaggio, poi inspiegabilmente esce fuori dall'Ez ed entra nell'Ey.
Non so se è un errore di copiatura oppure se ghilardi ha sbagliato a svolgere l'esercizio (io non c'ero mercoledì a lezione) oppure se ho cannato IO

Axel

User info:

Registered: Jan 2004
Posts: 86 (0.01 al dì)
Location:
Corso: comunicazione digitale
Anno:
Time Online: 1 Day, 14:55:58 [...]
Status: Offline

Post actions:

Ciao ho alcuni problemi nel risolvere gli esercizi della Bucalo nel caso in cui nel testo c'e' una cosa del tipo f(x) o g(x).
In particolare nell'esercizo 7 che e' gia' stato svolto da Futurbaggio ma che io ho risolto in maniera differente poiche' sono partito dall' E(esiste) di destra mentre futurbaggio dal A(per ogni) di sinistra.
Ecco il mio svolgimento con commento a fianco:

Q(a) , Ax(Q(x) e non P(f(x))-->P(x)) ====>ExP(x) /faccio E di dx

Q(a) , Ax(Q(x) e non P(f(x))-->P(x) =====>Ex(...),P(a) /faccio Ax di sx

Q(a) , Ax(...) , Q(a) e non P(f(a))-->P(a))===>P(a) /faccio --> di dx che si divide in due rami

1 ramo: Q(a),Ax(...) ===>P(a) , Q(a) e non P (f(a)) /faccio l'e di dx che si divide in due ulteriori rami

1/1 ramo: Q(a)===> P(a), Q(a) ASSIOMA
2/1 ramo: Q(a) ==> P(a) , non P(f(a)) /faccio il non di dx
P(f(a)), Q(a) ==> P(a)
Vedete questo secondo ramo non mi si chiude!!!!
Oppure dire P(f(a)) e' la stessa cosa che dire P(a)????

Rimango in attesa delle vostre risposte!!!!!!!!
Ciao e grazie a chiunque mi voglia aiutare!!!!!!!!!!!!!!

GinoPilotino

.grande:maestro.

User info:

Registered: Dec 2002
Posts: 1403 (0.17 al dì)
Location: Segrate
Corso: TI.COM
Anno: Secondo
Time Online: 13 Days, 8:59:42 [...]
Status: Offline

Post actions:

lo svolgimento del tuo esercizio è corretto.
dire P(f(a)) e P(a) dovrebbe (quando parlo io prendete sempre tutto col condizionale ) essere la stessa cosa

Barone

non cambio mai avatar

User info:

Registered: Dec 2002
Posts: 4943 (0.61 al dì)
Location:
Corso: Done.
Anno:
Time Online: 36 Days, 5:19:15 [...]
Status: Offline

Post actions:

Originally posted by GinoPilotino
lo svolgimento del tuo esercizio è corretto.
dire P(f(a)) e P(a) dovrebbe (quando parlo io prendete sempre tutto col condizionale ) essere la stessa cosa

Barone

non cambio mai avatar

User info:

Registered: Dec 2002
Posts: 4943 (0.61 al dì)
Location:
Corso: Done.
Anno:
Time Online: 36 Days, 5:19:15 [...]
Status: Offline

Post actions:

Originally posted by Axel
Ciao ho alcuni problemi nel risolvere gli esercizi della Bucalo nel caso in cui nel testo c'e' una cosa del tipo f(x) o g(x).
In particolare nell'esercizo 7 che e' gia' stato svolto da Futurbaggio ma che io ho risolto in maniera differente poiche' sono partito dall' E(esiste) di destra mentre futurbaggio dal A(per ogni) di sinistra.
Ecco il mio svolgimento con commento a fianco:

Q(a) , Ax(Q(x) e non P(f(x))-->P(x)) ====>ExP(x) /faccio E di dx

Q(a) , Ax(Q(x) e non P(f(x))-->P(x) =====>Ex(...),P(a) /faccio Ax di sx

Q(a) , Ax(...) , Q(a) e non P(f(a))-->P(a))===>P(a) /faccio --> di dx che si divide in due rami

1 ramo: Q(a),Ax(...) ===>P(a) , Q(a) e non P (f(a)) /faccio l'e di dx che si divide in due ulteriori rami

1/1 ramo: Q(a)===> P(a), Q(a) ASSIOMA
2/1 ramo: Q(a) ==> P(a) , non P(f(a)) /faccio il non di dx
P(f(a)), Q(a) ==> P(a)
Vedete questo secondo ramo non mi si chiude!!!!
Oppure dire P(f(a)) e' la stessa cosa che dire P(a)????

Rimango in attesa delle vostre risposte!!!!!!!!
Ciao e grazie a chiunque mi voglia aiutare!!!!!!!!!!!!!!

futurbaggio

U Frikkettone

User info:

Registered: Feb 2003
Posts: 774 (0.10 al dì)
Location: Foggia
Corso: TIC
Anno: 1° Magistrale
Time Online: 13 Days, 16:44:00: [...]
Status: Offline

Post actions:

Originally posted by Axel

P(f(a)), Q(a) ==> P(a)
Vedete questo secondo ramo non mi si chiude!!!!
Oppure dire P(f(a)) e' la stessa cosa che dire P(a)????

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

futurbaggio

U Frikkettone

User info:

Registered: Feb 2003
Posts: 774 (0.10 al dì)
Location: Foggia
Corso: TIC
Anno: 1° Magistrale
Time Online: 13 Days, 16:44:00: [...]
Status: Offline

Post actions:

Originally posted by fabpicca
Tra l'altro esagerando basta istanziare ogni volta x ,y,z sempre con a o b o c...e sarebbe lo stesso...

__________________
E lo sceriffo americano non lo sa / ma quando parla ride tutta la città / vile fellone vieni a singolar tenzone / unza unza umpappà troppe truppe mariscià.
Non ci voleva l'eruzione della lava / e due piccioni si contendono la fava / sposa bagnata, bambina svergognata / la questione è delicata / come bolle la patata.
Basta! E' finita la festa
[L'ovile delle vanità, Folkabbestia]

Last edited by futurbaggio on 18-12-2004 at 16:15

GinoPilotino

.grande:maestro.

User info:

Registered: Dec 2002
Posts: 1403 (0.17 al dì)
Location: Segrate
Corso: TI.COM
Anno: Secondo
Time Online: 13 Days, 8:59:42 [...]
Status: Offline

Post actions:

ah quindi a e f(a) sono due variabili distinte?
grazie d'avermelo detto perchè se no avrei sbagliato all'esame