Homepage  Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum


.dsy:it. .dsy:it. Archive > Didattica > Corsi A - F > Filosofia del linguaggio
 
[Ghilardi] lambda conversione
Clicca QUI per vedere il messaggio nel forum
hanper
Pian piano riesco a capire qualche cosina sulla parte della bucalo. Su quella di ghilardi però vuoto totale.

I miei dubbi iniziano dalla lambda conversione...che cosa é

e poi sul sollevamento...

Per piacere se qualcuno sa darmi qualche dritta

Grazie

GinoPilotino
mi accodo al suo appello...non ci capisco veramente un cxxxo e ogni giorno cresce in me la convinzione che sia una materia inutile.

papousek
Originally posted by GinoPilotino
mi accodo al suo appello...non ci capisco veramente un cxxxo e ogni giorno cresce in me la convinzione che sia una materia inutile.


questa purtroppo è la realtà....

ak47
anche io non avendo mai frequentato la lezione del pomeriggio, ora mi ritrovo con dei punti interrrogativi rigurardo la parte di linguistica.... Qualcuno potrebbe dare chiarimenti, o per lo meno dritte riguardo la lambda conversione, e su come tradurre l'albero della frase con le regole formali e/o ricorsive??????
Se qualche anima buona puo postare consigli sanremo grati, visto che su questo argomento cè ancora un po di omertà....

Flavia
Io domani porto tutti gli esercizi da correggegre a Ghilalardi!
Poi li pubblico!

Allora, la lambda conversiione è una strategia che tu adotti per togliere di mezzo una variabile.
Quando tu hai ad esempio due insiemi P e Q e un oggetto lamda x che è riferito a questi due insiemi, tu puoi esprimere il tuo insieme in funzione di x (lamdax, alla fine, è un modo per dire: come varia x)

Quindi, dire che un oggetto x appartiene all'insieme P delle persone grasse, è come dire, più semplicemente, che x è grasso!
E 'proprio in base a questo che tu operi una conversione!

Oppure, con i nomi propri, dire che c'è un insieme di elementi x tali che ragazzo (x), e il tutto riferito a Paolo, vuol dire semplicmente che ragazzo (Paolo)! :-D Cioè, dire che c'è un insieme di ragazzi, tali che i suoi elementi sono indicati con x, e riferire unicamente questo insieme a (Paolo), vuol dire che la x la butto via, e la "converto" nel nome Paolo, perchè è quella l'unica cosa che ci serve!

:D

Powered by: vbHome (lite) v4.1 and vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento |Licenze | Thanks | Syndacate