Acesso mais rápido do que o navegador!
29 relações: Alan Turing, Avaliação preguiçosa, Banco de dados relacional, Cálculo lambda, Cálculo lambda simplesmente tipado, Ciência da computação, Codificação de Church, Combinadores SKI, Conjuntos recursivamente enumeráveis, Extensionalidade, Fatorial, Função identidade, Haskell Curry, Idempotência, Identificador, Iteração de ponto fixo, Lógica combinatória, Lógica matemática, Matemática, Número complexo, Paradigma de programação, Paradoxo de Curry, Ponto fixo, Produção (ciência da computação), Programação funcional, Programação imperativa, Recursividade (ciência da computação), Sistema dedutivo, Tipo recursivo.
Alan Turing
Alan Mathison Turing (Londres, 23 de junho de 1912 Wilmslow, Cheshire, 7 de junho de 1954) foi um matemático, cientista da computação, lógico, criptoanalista, filósofo e biólogo teórico britânico.
Novo!!: Combinador de ponto fixo e Alan Turing · Veja mais »
Avaliação preguiçosa
Avaliação preguiçosa (também conhecida por avaliação atrasada) é uma técnica usada em programação para atrasar a computação até um ponto em que o resultado da computação é considerado necessário.
Novo!!: Combinador de ponto fixo e Avaliação preguiçosa · Veja mais »
Banco de dados relacional
Um banco de dados relacional é um banco de dados que modela os dados de uma forma que eles sejam percebidos pelo usuário como tabelas, ou mais formalmente relações.
Novo!!: Combinador de ponto fixo e Banco de dados relacional · Veja mais »
Cálculo lambda
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.
Novo!!: Combinador de ponto fixo e Cálculo lambda · 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!!: Combinador de ponto fixo 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!!: Combinador de ponto fixo e Ciência da computação · Veja mais »
Codificação de Church
Em matemática, a codificação de Church é uma forma de incorporar dados e operadores ao cálculo lambda, a forma mais conhecida dos numerais de Church, uma representação dos números naturais usando a notação lambda.
Novo!!: Combinador de ponto fixo e Codificação de Church · Veja mais »
Combinadores SKI
Os combinadores SKI são um modelo computacional que pode ser percebido como uma versão reduzida do cálculo lambda não tipado.
Novo!!: Combinador de ponto fixo e Combinadores SKI · Veja mais »
Conjuntos recursivamente enumeráveis
Na Teoria da computabilidade, tradicionalmente chamada teoria da recursão, um conjunto S de números naturais é chamado recursivamente enumerável, computavelmente enumerável, semi-decidível, demonstrável ou Turing-reconhecível se.
Novo!!: Combinador de ponto fixo e Conjuntos recursivamente enumeráveis · Veja mais »
Extensionalidade
Em lógica ou linguística, o conceito de extensionalidade se refere à definição da identidade entre objetos ou vocábulos distintos pelo fato de eles apresentarem as mesmas propriedades externas.
Novo!!: Combinador de ponto fixo e Extensionalidade · Veja mais »
Fatorial
Na matemática, o de um número natural n, representado por n!, é o produto de todos os inteiros positivos menores ou iguais a n. A notação n! foi introduzida por Christian Kramp em 1808.
Novo!!: Combinador de ponto fixo e Fatorial · 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!!: Combinador de ponto fixo e Função identidade · Veja mais »
Haskell Curry
Haskell Brooks Curry (Millis, 12 de setembro de 1900 – State College, 1 de setembro de 1982) foi um matemático estadunidense.
Novo!!: Combinador de ponto fixo e Haskell Curry · Veja mais »
Idempotência
Em matemática e ciência da computação, a idempotência é a propriedade que algumas operações têm de poderem ser aplicadas várias vezes sem que o valor do resultado se altere após a aplicação inicial.
Novo!!: Combinador de ponto fixo e Idempotência · Veja mais »
Identificador
Um ''identificador'' de objetos do Louvre. Um identificador é um nome que identifica (ou seja, rotula a identidade de) um objeto único ou uma classe única de objetos, onde o "objeto" ou classe pode ser uma ideia, objeto físico (ou uma classe deste), ou substância física (ou classe das mesmas).
Novo!!: Combinador de ponto fixo e Identificador · Veja mais »
Iteração de ponto fixo
Em análise numérica, iteração de ponto fixo é um método de se calcular pontos fixos de funções.
Novo!!: Combinador de ponto fixo e Iteração de ponto fixo · Veja mais »
Lógica combinatória
Lógica combinatória é uma notação introduzida por Moses Schönfinkel e Haskell Curry para eliminar a necessidade de variáveis em lógica matemática.
Novo!!: Combinador de ponto fixo e Lógica combinatória · 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!!: Combinador de ponto fixo e Lógica matemática · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Combinador de ponto fixo e Matemática · Veja mais »
Número complexo
Em matemática, um número complexo é um elemento de um sistema numérico que contém os números reais e um elemento específico denotado, chamado de unidade imaginária, e que satisfaz a equação.
Novo!!: Combinador de ponto fixo e Número complexo · Veja mais »
Paradigma de programação
Paradigma de programação é um meio de se classificar as linguagens de programação baseado em suas funcionalidades.
Novo!!: Combinador de ponto fixo e Paradigma de programação · Veja mais »
Paradoxo de Curry
Paradoxo de Curry é um paradoxo que ocorre na teoria dos conjuntos ingênua ou lógicas ingênuas, e permite a derivação de uma sentença arbitrária de uma sentença auto-referente e algumas regras de dedução lógica aparentemente inócuas. É assim denominado em referência ao lógico Haskell Curry.
Novo!!: Combinador de ponto fixo e Paradoxo de Curry · Veja mais »
Ponto fixo
Em matemática, define-se ponto fixo como o ponto que não é alterado por uma aplicação.
Novo!!: Combinador de ponto fixo e Ponto fixo · Veja mais »
Produção (ciência da computação)
A produção ou regra de produção em ciência da computação é uma regra de reescrita, especificando a substituição de símbolos que podem ser realizados de forma recursiva para gerar novas sequências de símbolos.
Novo!!: Combinador de ponto fixo e Produção (ciência da computação) · 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!!: Combinador de ponto fixo e Programação funcional · Veja mais »
Programação imperativa
Na ciência da computação, programação imperativa é um paradigma de programação de software que descreve a computação como ações, enunciados ou comandos que mudam o estado (variáveis) de um programa.
Novo!!: Combinador de ponto fixo e Programação imperativa · Veja mais »
Recursividade (ciência da computação)
Em ciência da computação, a recursividade é a definição de uma sub-rotina (função ou método) que pode invocar a si mesma.
Novo!!: Combinador de ponto fixo e Recursividade (ciência da computação) · Veja mais »
Sistema dedutivo
Um sistema dedutivo (também chamado de aparato dedutivo de um sistema formal) é constituído de axiomas e regras de inferência que podem ser usadas para derivar os teoremas do sistema.
Novo!!: Combinador de ponto fixo e Sistema dedutivo · Veja mais »
Tipo recursivo
Em ciência da computação, um tipo recursivo é um tipo de dado para valores que podem conter outros valores do mesmo tipo.
Novo!!: Combinador de ponto fixo e Tipo recursivo · Veja mais »
