~paolo~

Il Barbie ;)

User info:

Registered: Mar 2003
Posts: 319 (0.04 al dì)
Location: Pozzuolo M. (MI)
Corso:
Anno: Dott. ComDig
Time Online: 3 Days, 22:24:10 [...]
Status: Offline

Post actions:

Ciao a tutti, io sono riuscito a svolgere i primi 2 esercizi sulle dimostrazioni, ma non riesco a capire i restanti 2...
Per caso son da fare?


Ciao
Grazie

__________________
msn: paolo198328@hotmail.com

No?Ya!

il supercoatto

User info:

Registered: Oct 2002
Posts: 187 (0.02 al dì)
Location: Berghèm
Corso: Tecnologie Della Comunicazione
Anno: ...fuori corso...
Time Online: 1 Day, 9:55:47 [...]
Status: Offline

Post actions:

1. Determinare composizionalmente le condizioni di verità dei seguenti enunciati.

Ovvero? Come si procede per fare l'esercizio?

Gli esercizi che famo a lezione non riguardano mica lambda conversioni + c&m (ca**i e mazzi?)

Dài datemi una mano che se no vado in paranoya...

__________________
http://www.noya.it
--------
Delta9 Drum&Bass Crew
--------
Associazione Orange

No?Ya!

il supercoatto

User info:

Registered: Oct 2002
Posts: 187 (0.02 al dì)
Location: Berghèm
Corso: Tecnologie Della Comunicazione
Anno: ...fuori corso...
Time Online: 1 Day, 9:55:47 [...]
Status: Offline

Post actions:

Allora nessuno che mi dica come procedere...

vabbè...
Per ora ho lambda convertito un paio di questi esercizietti... in attesa di sapere come si concludano.

per esempio 1.3:
Antonio compra un anello e lo regala a Maria

ESISTE y (anello(y) AND (compra(Antonio,y) AND regala(Antonio, y, Maria)))

1.4
Nessuno studente che non si impegni supera un esame di matematica

premetto che ho trattato "non si impegni" come : NOT impegni (x,x) ; basandomi più sull'intuito che su qualche regola...

comunque dovrebbe risultare:

NOT ESISTE x (studente(x) AND (NOT impegni(x,x)) AND ESISTE y (esame(y) AND di(y, matematica) AND supera(x,y)))

ora... non prendetele per giuste a priori... anzi se ho sbagliato, sarei felice se qualcuno me lo facesse notare !

__________________
http://www.noya.it
--------
Delta9 Drum&Bass Crew
--------
Associazione Orange

angelko

---

User info:

Registered: Jan 2004
Posts: 1393 (0.17 al dì)
Location: Limbiate
Corso: Comunicazione Digitale
Anno: 3°
Time Online: 29 Days, 5:15:31 [...]
Status: Offline

Post actions:

per quanto riguarda la tua prima domanda, penso che "Determinare composizionalmente le condizioni di verità dei seguenti enunciati" significa arrivare semplicemente alla formula con gli Esiste e i PerOgni...

gli esercizi che hai postato anche a me vengono cosi e se guardi nell'area filez ci sono gli allegati degli esercizi di flavia anche!

__________________
"di tanto in tanto noi c'incontreremo, quando ci piacerà, nel bel mezzo dell'unica festa che non può finire"