Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01060070n
Noun Concept
Categories: Teoria da computação, Métodos formais
PT
cálculo lambda  lambda cálculo  expressões lambda  lambda-cálculo  redução beta
PT
Na lógica matemática e na ciência da computação, lambda cálculo, também escrito como cálculo-λ é um sistema formal que estuda funções recursivas computáveis, no que se refere a teoria da computabilidade, e fenômenos relacionados, como variáveis ligadas e substituição. Wikipedia
Definitions
Relations
Sources
PT
Na lógica matemática e na ciência da computação, lambda cálculo, também escrito como cálculo-λ é um sistema formal que estuda funções recursivas computáveis, no que se refere a teoria da computabilidade, e fenômenos relacionados, como variáveis ligadas e substituição. Wikipedia
IS A
modelo matemático
sistema formal
PART OF
teoria da computação
HAS KIND
cálculo lambda binário
cálculo lambda tipado
HAS INSTANCE
cálculo lambda simplesmente tipado
EN
System F
DISCOVERER OR INVENTOR
Alonzo Church
HAS QUALITY
Turing completude
NAMED AFTER
λ
USE
modelo de computação
Wikipedia
PT
cálculo lambda
Wikidata
PT
cálculo lambda
Wikipedia Redirections
PT
Cálculo Lambda, lambda cálculo
Wikipedia Translations
PT
cálculo lambda, expressões lambda, lambda-cálculo, redução beta, λ-cálculo

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License