Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Cálculo lambda e Função computável

Atalhos: Diferenças, Semelhanças, Coeficiente de Similaridade de Jaccard, Referências.

Diferença entre Cálculo lambda e Função computável

Cálculo lambda vs. Função computável

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. Funções computáveis são os objetos básicos de estudo na teoria da computabilidade.

Semelhanças entre Cálculo lambda e Função computável

Cálculo lambda e Função computável têm 1 coisa em comum (em Unionpedia): Teoria da computabilidade.

Teoria da computabilidade

A teoria da computabilidade, também chamada de teoria da recursão, é um ramo da lógica matemática que foi originado na década de 1930 com o estudo das funções computáveis e do grau de Turing.

Cálculo lambda e Teoria da computabilidade · Função computável e Teoria da computabilidade · Veja mais »

A lista acima responda às seguintes perguntas

Comparação entre Cálculo lambda e Função computável

Cálculo lambda tem 26 relações, enquanto Função computável tem 63. Como eles têm em comum 1, o índice de Jaccard é 1.12% = 1 / (26 + 63).

Referências

Este artigo é a relação entre Cálculo lambda e Função computável. Para acessar cada artigo visite:

Ei! Agora estamos em Facebook! »