Accedi all'area personale per aggiungere e visualizzare i tuoi libri preferiti
Autore principale: Apostol, Tom Mike
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica [Boringhieri]
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica / Emilio Gatti, Luigi Radicati, Edoardo Vesentini
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di Matematica, Fisica, Elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: programma di matematica, fisica, elettronica / direttore responsabileEmilio Gatti, Francesco Gherardelli, Francesco Pegoraro, luigi Radicati, Giorgio Talenti
Fa parte di: Calcolo / Tom Mike Apostol
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica [Bollati Boringhieri]
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica fisica elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica fisica elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
Serie: Programma di matematica, fisica, elettronica
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.
Record aggiornato il: 2025-12-12T01:02:50.982Z