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

Alonzo Church e Cálculo lambda

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

Diferença entre Alonzo Church e Cálculo lambda

Alonzo Church vs. Cálculo lambda

Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense. 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.

Semelhanças entre Alonzo Church e Cálculo lambda

Alonzo Church e Cálculo lambda têm 5 coisas em comum (em Unionpedia): Lógica, Lógica matemática, Lisp, Recursividade, Stephen Kleene.

Lógica

Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.

Alonzo Church e Lógica · Cálculo lambda e Lógica · Veja mais »

Lógica matemática

A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.

Alonzo Church e Lógica matemática · Cálculo lambda e Lógica matemática · Veja mais »

Lisp

Lisp é uma família de linguagens de programação concebida por John McCarthy em 1958.

Alonzo Church e Lisp · Cálculo lambda e Lisp · Veja mais »

Recursividade

Uma forma visual de recursão conhecida como ''efeito Droste''. Recursividade (em português europeu: Recorrência), é um termo geralmente usado para descrever o processo de repetição de um objeto de um jeito similar ao que já fora mostrado.

Alonzo Church e Recursividade · Cálculo lambda e Recursividade · Veja mais »

Stephen Kleene

Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.

Alonzo Church e Stephen Kleene · Cálculo lambda e Stephen Kleene · Veja mais »

A lista acima responda às seguintes perguntas

Comparação entre Alonzo Church e Cálculo lambda

Alonzo Church tem 37 relações, enquanto Cálculo lambda tem 26. Como eles têm em comum 5, o índice de Jaccard é 7.94% = 5 / (37 + 26).

Referências

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

Ei! Agora estamos em Facebook! »