Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti
Autore principale: Scheid, Francis
Pubblicazione: Milano : ETAS libri, 1975
Tipo di risorsa: testo, Livello bibliografico: monografia, Lingua: ita, Paese: IT
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.
La geometria (dal latino geometrĭa e questo dal greco antico "γεωμετρία", composto dal prefisso geo che rimanda alla parola γή = "terra" e μετρία, metria = "misura", tradotto quindi letteralmente come misurazione della terra) è quella parte della scienza matematica che si occupa delle forme nel piano e nello spazio e delle loro mutue relazioni.
Alcune catalogazioni sono state accorpate perché sembrano descrivere la stessa edizione. Per visualizzare i dettagli di ciascuna, clicca sul numero di record
Record aggiornato il: 2022-05-09T04:46:18.422Z