biblio toscana

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.

L'analisi numerica (detta anche calcolo numerico o calcolo scientifico) è una branca della matematica applicata che risolve i modelli prodotti dall'analisi matematica alle scomposizioni finite normalmente praticabili, coinvolgendo il concetto di approssimazione. I suoi strumenti, detti algoritmi, sono caratterizzabili in base a velocità di convergenza, stabilità numerica e computabilità.

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.