biblio toscana

'Il lambda calcolo o \xce\xbb-calcolo \xc3\xa8 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.\n\n'

"L'analisi matematica \xc3\xa8 il ramo della matematica che si occupa delle propriet\xc3\xa0 che emergono dalla scomposizione infinita di un oggetto denso. Si fonda sul calcolo infinitesimale, con il quale, attraverso le nozioni di limite e continuit\xc3\xa0, studia il comportamento locale di una funzione utilizzando gli strumenti del calcolo differenziale e del calcolo integrale.\nIntroducendo per il calcolo concetti problematici, quali quello di infinito e di limite, si pu\xc3\xb2 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.\n\n"