ToBlEr:OnE

.arcimaestro.

User info:

Registered: Apr 2003
Posts: 264 (0.03 al dì)
Location: Cusano M. (MI)
Corso: Comunicatio Digitalis
Anno: TRE(sh)
Time Online: 1 Day, 23:07:14 [...]
Status: Offline

Post actions:

Cari amici, sono un attimo bloccato sull'articolo IL e la sua trasformazione in formula.
Mi ricordo che era una roba lunghissima e purtroppo non saprei dove recuperare il materiale.
Sapete aiutarmi?
Vi ringrazio in anticipo.

__________________
Blow[mono/CASUAL]*lab®

http://www.tobler.tk

MamboJambo#24

:: visual designer ::

User info:

Registered: Feb 2003
Posts: 563 (0.07 al dì)
Location: zona Mondo
Corso: comunicazione digitale
Anno: già dottore
Time Online: 8 Days, 3:14:09: [...]
Status: Offline

Post actions:

prendila con le pinze...
io lo sto interpretando cosi...

es : la mamma

Ez ( {lam. x ¦ mamma(x)} =(z) ^ Q (z) )

ho trovato cosi in alcuni exx sperando che siano giusti..bho!

__________________
E un' altra volta è notte e suono,non so nemmeno io per che motivo, forse perchè son vivo e voglio in questo modo dire "sono" o forse perchè è un modo pure questo per non andare a letto
o forse perchè ancora c'è da bere
e mi riempio il bicchiere..

MamboJambo#24

:: visual designer ::

User info:

Registered: Feb 2003
Posts: 563 (0.07 al dì)
Location: zona Mondo
Corso: comunicazione digitale
Anno: già dottore
Time Online: 8 Days, 3:14:09: [...]
Status: Offline

Post actions:

di preciso quando devo analizzarlo e quando invece posso tralasciarlo??
cacchio piu vo avanti piu dubbi saltan fuori... mi sa che ora vado a farmi un giro!

__________________
E un' altra volta è notte e suono,non so nemmeno io per che motivo, forse perchè son vivo e voglio in questo modo dire "sono" o forse perchè è un modo pure questo per non andare a letto
o forse perchè ancora c'è da bere
e mi riempio il bicchiere..

yeah

.grande:maestro.

User info:

Registered: Nov 2003
Posts: 1644 (0.20 al dì)
Location: Cologno Monzese
Corso: Informatica Magistrale
Anno: II
Time Online: 12 Days, 21:36:41 [...]
Status: Offline

Post actions:

Un articolo determinativo individua una descrizione definita, ossia un preciso elemento in un insieme.

La sua traduzione è

{lambda-P lambda-Q | Ez(perOgni-y (P(y) <-> y=z) ^ Q(z))}

di preciso quando devo analizzarlo e quando invece posso tralasciarlo??

__________________
?

ToBlEr:OnE

.arcimaestro.

User info:

Registered: Apr 2003
Posts: 264 (0.03 al dì)
Location: Cusano M. (MI)
Corso: Comunicatio Digitalis
Anno: TRE(sh)
Time Online: 1 Day, 23:07:14 [...]
Status: Offline

Post actions:

Ahaaaa io stasera mi alcolizzo!

__________________
Blow[mono/CASUAL]*lab®

http://www.tobler.tk

ToBlEr:OnE

.arcimaestro.

User info:

Registered: Apr 2003
Posts: 264 (0.03 al dì)
Location: Cusano M. (MI)
Corso: Comunicatio Digitalis
Anno: TRE(sh)
Time Online: 1 Day, 23:07:14 [...]
Status: Offline

Post actions:

Grandissimo Yeah, era quella la formula che indendevo. Ma poi come si procede con la lambda conversione? Mi preoccupa soprattutto quella doppia freccia...

__________________
Blow[mono/CASUAL]*lab®

http://www.tobler.tk