[informatica inside] LAMBDA CALCOLO ...

[tdi150cv]

... e valutazioni di espressioni ... Chi mi sa dire dove trovare delle risorse chiare e comprensibili anche ad un pirla come me ?

[cerbert]

Spostato.

[lowenz]

Porca vacca
Non mi sarei mai aspettato di vedere questo thread!

Allora soddisfiamo subito il signor tdi, che ha posto un'interessantissima questione (almeno per chi ama i formalismi matematici): prova a vedere qui http://it.wikipedia.org/wiki/Lambda_calcolo

[tdi150cv]

Originariamente inviato da lowenz

Porca vacca
Non mi sarei mai aspettato di vedere questo thread!

Allora soddisfiamo subito il signor tdi, che ha posto un'interessantissima questione (almeno per chi ama i formalismi matematici): prova a vedere qui http://it.wikipedia.org/wiki/Lambda_calcolo

grazie Lowenz ... diciamo che ero convinto che esistesse solo la sonda lambda ... ora so che esiste pure il lambda calcolo e me lo devo pure studiare.
Ma e' normale che non ci capisco na sega ?
Da che basi conviene partire per poter comprendere al meglio l'argomento ?
ciao e grazie

[Ziosilvio]

Originariamente inviato da tdi150cv

e' normale che non ci capisco na sega ?

Considerando che il lambda-calcolo è stato inventato da Alonzo Church in persona... sì, è normale

Da che basi conviene partire per poter comprendere al meglio l'argomento ?

Conoscere un po' di teoria della calcolabilità può essere utile.

Testi non ne conosco, a parte "The Lambda Calculus: Its Syntax and Semantics" di Henrik Pieter Barendregt (che però è veramente un mattone) e "Introduzione alla logica combinatoria" di Hindley, Lercher e Seldin, edito in Itaia da Boringhieri --- e che quindi o non si trova, o costa un sacco di Eurozzi

[tdi150cv]

Originariamente inviato da Ziosilvio

Considerando che il lambda-calcolo è stato inventato da Alonzo Church in persona... sì, è normale

Conoscere un po' di teoria della calcolabilità può essere utile.

Testi non ne conosco, a parte "The Lambda Calculus: Its Syntax and Semantics" di Henrik Pieter Barendregt (che però è veramente un mattone) e "Introduzione alla logica combinatoria" di Hindley, Lercher e Seldin, edito in Itaia da Boringhieri --- e che quindi o non si trova, o costa un sacco di Eurozzi

ok ... allora diciamo che per ora quello che serve a me sono le basi per la valutazione delle espressioni con il lambda calcolo ...
Sul mio libro , metodi informazionali , e' davvero concentrato in 6 paginette davvero minime minime.
Quindi non devo certo approfondire nulla ... purtroppo di sto libro odio il fatto che da per scontato quasi tutti i passaggi ... e io mi perdo ...

[lowenz]

Originariamente inviato da tdi150cv

grazie Lowenz ... diciamo che ero convinto che esistesse solo la sonda lambda ... ora so che esiste pure il lambda calcolo e me lo devo pure studiare.
Ma e' normale che non ci capisco na sega ?
Da che basi conviene partire per poter comprendere al meglio l'argomento ?
ciao e grazie

Beh il lamba calcolo è tipicamente un argomento (nel vecchio ordinalmento di ingegneria) di Algebra II+Informatica Teorica II quindi è assolutamente normale NON capirci una sega al primo colpo , è per pochi eletti.....di cui io ad esempio NON ho voluto far parte , dato che il corso era facoltativo.
Devo dire che però, dopo aver fatto Ingegneria della Conoscenza e Intelligenza Artificiale mi trovo pentito della scelta di aver bypassato tale corso (essenzialmente non mi convinceva molto il modo di spiegare del professore che teneva di Info Teorica II, pertanto ne volli stare lontano), perchè effettivamente ho scoperto solo dopo il mio amore per i formalismi
E infatti il tuo post ha subito fatto scattare in me la curiosità a riguardo di questo argomento che sentivo tanto nominare dai miei amici

Direi cmq che l'ideale è conoscere bene il dominio in cui si applica il lambda calcolo, cioè tutta la parte simbolica della matematica, la logica del prim'ordine, l'algebra e i suoi ponti con l'informatica teorica (infatti se noti è definito a partire da una grammatica, argomento tipico di informatica teorica).
Come ha detto ZioSilvio molto ruota intorno al problema della calcolabilità delle funzioni.

Cmq adesso voglio capirne di più pure io, dato che mi hai dato lo stimolo

[r_howie]

Leggi questa dispensa (pagg. 20 e segg.) del prof. Ausiello de La Sapienza, e anche il capitolo 6 del libro di Ausiello, d'Amore, Gambosi.

[stbarlet]

Originariamente inviato da Ziosilvio

Testi non ne conosco, a parte "The Lambda Calculus: Its Syntax and Semantics" di Henrik Pieter Barendregt (che però è veramente un mattone) e "Introduzione alla logica combinatoria" di Hindley, Lercher e Seldin, edito in Itaia da Boringhieri --- e che quindi o non si trova, o costa un sacco di Eurozzi

io lo trovo a 18€ sul sito della bollati boringhieri.. ci ho appena comprato i libri di analisi, sono veloci, se paghi con carta o superi i 70€ di ordine ( piú o meno non ricordo di preciso ) ti fanno uno sconto del 10 .

[tdi150cv]

Originariamente inviato da Morkar Karamat

X tdi

Ma non ti sei appena iscritto ad Informatica? Non riesco a capire bene il programma che ti fanno fare: come è possibile che si parli di lambda calcolo il primo trimestre del primo anno? A cosa ti sei iscritto di preciso?

Per comprendere appieno l'argomento sono necessari 5-6 corsi, da 5, 6 o 7 crediti (per dare l'idea), tra logica, algebra ed informatica teorica (th. calcolabilità, sintassi e semantica dei linguaggi di progr.)
Un corso completo sull'argomento è da laurea magistrale.

vero ma l'argomento viene appena toccato giusto per capire come effettuare una valutazione di espressioni del tipo :
[lambda x, y . x >y --> x,x+1](3,4)

tutto qui nulla di trascendentale ma necessario per passare l'esame di informatica di base.