File:LambdaAbstraction.svg · Wikimedia Commons · See Wikimedia Commons
lambda calcolo
Sign in to saveAlso known as λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus
sistema formale definito nel 1936 dal matematico Alonzo Church
Wikidata facts
- Instance of
- mathematical model
- Subclass of
- formal system
- Part of
- theory of computation
- Named after
- Λ
- Image
- Un terme avec liens version 2.png
- Has use
- model of computation
Show 6 more facts
- discoverer or inventor
- Alonzo Church
- topic's main category
- Category:Lambda calculus
- Commons category
- Lambda calculus
- has characteristic
- Turing completeness
- Stack Exchange tag
- stackoverflow.com/tags/lambda-calculus
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Italiano
Il lambda calcolo o λ-calcolo è un sistema formale definito nel 1936 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.
Abstract from DBpedia / Wikipedia · CC BY-SA