Acesso mais rápido do que o navegador!
26 relações: Alonzo Church, Énuplo, Cálculo lambda simplesmente tipado, Ciência da computação, Currying, Década de 1930, Formalismo de Backus-Naur, Função, Função (matemática), Função computável, Função identidade, Fundamentos da matemática, Gramática livre de contexto, Haskell (linguagem de programação), Lógica, Lógica matemática, Linguística, Lisp, Paradoxo Kleene-Rosser, Programação funcional, Recursividade, Ruy de Queiroz, Sistema formal, Stephen Kleene, Substituição (lógica), Teoria da computabilidade.
Alonzo Church
Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense.
Novo!!: Cálculo lambda e Alonzo Church · Veja mais »
Énuplo
Énuplo (também conhecido como ênuplo, énupla, ênupla, n-tuplo, n-upla ou simplesmente tupla) é uma sequência ordenada de n elementos, que pode ser definida pela recursão do par ordenado.
Novo!!: Cálculo lambda e Énuplo · Veja mais »
Cálculo lambda simplesmente tipado
O cálculo lambda simplesmente tipado (\lambda^\to), ou cálculo lambda com tipagem simples, é um modelo da teoria dos tipos que adiciona o conceito de tipagem ao cálculo lambda.
Novo!!: Cálculo lambda e Cálculo lambda simplesmente tipado · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Cálculo lambda e Ciência da computação · Veja mais »
Currying
Em ciência da computação, currying é uma técnica de transformação de uma função que recebe múltiplos parâmetros (mais especificamente, uma n-tupla como parâmetro) de forma que ela pode ser chamada como uma cadeia de funções que recebem somente um parâmetro cada.
Novo!!: Cálculo lambda e Currying · Veja mais »
Década de 1930
Conforme padronização da norma internacional para representação de data e hora da Organização Internacional de Padronização (ISO), a década de 1930, também referida como década de 30 ou ainda anos 30, compreende o período de tempo entre 1 de janeiro de 1930 e 31 de dezembro de 1939.
Novo!!: Cálculo lambda e Década de 1930 · Veja mais »
Formalismo de Backus-Naur
O Formalismo de Backus-Naur (BNF, do inglês Backus-Naur Form ou Backus Normal Form) é uma metassintaxe usada para expressar gramáticas livres de contexto, isto é, um modo formal de descrever linguagens formais.
Novo!!: Cálculo lambda e Formalismo de Backus-Naur · Veja mais »
Função
* Função (música) — papel específico de cada nota em relação à tonalidade.
Novo!!: Cálculo lambda e Função · Veja mais »
Função (matemática)
Uma função não injetiva e não sobrejetiva do domínio X para o contradomínio Y. A função é não injetova pois há dois elementos do domínio ligados a um mesmo elemento do contradomínio (cor vermelha). A função é não sobrejetiva pois há elementos de Y sem correspondentes em X (cores azul e lilás). Uma função é uma relação de um conjunto A com um conjunto B. Denotamos uma função por f:A\to B, y.
Novo!!: Cálculo lambda e Função (matemática) · Veja mais »
Função computável
Funções computáveis são os objetos básicos de estudo na teoria da computabilidade.
Novo!!: Cálculo lambda e Função computável · Veja mais »
Função identidade
Gráfico da função de identidade nos números reais. Na matemática, uma função identidade (ou função de identidade), também chamada de relação de identidade ou mapa de identidade ou transformação de identidade, é uma função que sempre retorna o mesmo valor usado como argumento.
Novo!!: Cálculo lambda e Função identidade · Veja mais »
Fundamentos da matemática
Denomina-se fundamentos da matemática a uma área de estudo que abrange tanto problemas da filosofia da matemática, como da lógica e da matemática.
Novo!!: Cálculo lambda e Fundamentos da matemática · Veja mais »
Gramática livre de contexto
A gramática livre de contexto (GLC), em teoria de linguagem formal, é uma gramática formal onde todas as regras de produções são da forma A\ \to\ \alpha A é um símbolo não terminal, e \alpha é uma cadeia de terminal e/ou não terminais (\alpha pode ser vazia). Uma linguagem formal é considerada “livre do contexto” quando suas regras de produções podem ser aplicadas independentemente do contexto do simbolo não terminal.
Novo!!: Cálculo lambda e Gramática livre de contexto · Veja mais »
Haskell (linguagem de programação)
Haskell é uma linguagem de programação puramente funcional, de propósito geral, nomeada em homenagem ao lógico Haskell Curry.
Novo!!: Cálculo lambda e Haskell (linguagem de programação) · Veja mais »
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.
Novo!!: 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.
Novo!!: Cálculo lambda e Lógica matemática · Veja mais »
Linguística
é o estudo científico da linguagem.
Novo!!: Cálculo lambda e Linguística · Veja mais »
Lisp
Lisp é uma família de linguagens de programação concebida por John McCarthy em 1958.
Novo!!: Cálculo lambda e Lisp · Veja mais »
Paradoxo Kleene-Rosser
Na Matemática, o Paradoxo Kleene-Rosser que mostra que certos sistemas da Lógica formal são inconsistentes, em particular a versão de Lógica combinacional de Curry introduzida em 1930, e o Cálculo lambda original de Church, introduzido em 1932–1933, ambos originalmente concebidos como sistemas de lógica formal.
Novo!!: Cálculo lambda e Paradoxo Kleene-Rosser · Veja mais »
Programação funcional
Em ciência da computação, programação funcional é um paradigma de programação que trata a computação como uma avaliação de funções matemáticas e que evita estados ou dados mutáveis.
Novo!!: Cálculo lambda e Programação funcional · 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.
Novo!!: Cálculo lambda e Recursividade · Veja mais »
Ruy de Queiroz
Ruy José Guerra Barretto de Queiroz (Recife, 11 de janeiro de 1958) é um professor titular da Universidade Federal de Pernambuco e possui trabalhos significativos nas áreas de pesquisa da Lógica matemática, Teoria da prova, Fundações da matemática e Filosofia da matemática.
Novo!!: Cálculo lambda e Ruy de Queiroz · Veja mais »
Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.
Novo!!: Cálculo lambda e Sistema formal · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Cálculo lambda e Stephen Kleene · Veja mais »
Substituição (lógica)
Substituição é um conceito fundamental em lógica.
Novo!!: Cálculo lambda e Substituição (lógica) · Veja mais »
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.
Novo!!: Cálculo lambda e Teoria da computabilidade · Veja mais »
Redireciona aqui:
Cálculo Lambda, Lambda Cálculo, Lambda cálculo.
