biblio toscana

Il lambda calcolo o λ-calcolo è un sistema formale definito dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo. Le prime sono espresse per mezzo di un linguaggio formale, che stabilisce quali siano le regole per formare un termine, il secondo con un sistema di riscrittura, che definisce come i termini possano essere ridotti e semplificati.

L'analisi matematica è il ramo della matematica che si occupa delle proprietà che emergono dalla scomposizione infinita di un oggetto denso. Si fonda sul calcolo infinitesimale, con il quale, attraverso le nozioni di limite e continuità, studia il comportamento locale di una funzione utilizzando gli strumenti del calcolo differenziale e del calcolo integrale. Introducendo per il calcolo concetti problematici, quali quello di infinito e di limite, si può passare all'indagine che le ha permesso di divenire basilare in diverse discipline scientifiche e tecniche (dalle scienze naturali all'ingegneria, dall'informatica all'economia), dove viene spesso coniugata con l'analisi numerica.