Acesso mais rápido do que o navegador!
11 relações: Cambridge University Press, Computação científica, Função de Ackermann, Função identidade, Função recursiva primitiva, George Boolos, Lógica matemática, Máquina de Turing, Número natural, Stephen Kleene, Teoria da computação.
Cambridge University Press
Cambridge University Press é uma editora britânica, fundada em 1534 com o aval do rei Henrique VIII para a Universidade de Cambridge, sendo a editora mais antiga do mundo em operação contínua e a segunda maior editora universitária do mundo.
Novo!!: Função μ-recursiva e Cambridge University Press · Veja mais »
Computação científica
A ciência computacional, também conhecida como computação científica, é um campo de rápido crescimento que usa recursos de computação avançados para entender e resolver problemas complexos.
Novo!!: Função μ-recursiva e Computação científica · Veja mais »
Função de Ackermann
Na teoria da computabilidade, a Função de Ackermann, nomeada por Wilhelm Ackermann, é um dos mais simples e recém-descobertos exemplos de uma função computável que não são funções recursivas primitivas.
Novo!!: Função μ-recursiva e Função de Ackermann · 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!!: Função μ-recursiva e Função identidade · Veja mais »
Função recursiva primitiva
As funções recursivas primitivas são definidas através do uso da recursão primitiva e da Composição como operações centrais.
Novo!!: Função μ-recursiva e Função recursiva primitiva · Veja mais »
George Boolos
George Stephen Boolos (Nova Iorque, 4 de setembro de 1940 – Cambridge (Massachusetts), 27 de maio de 1996) foi um filósofo, logicista e matemático norte-americano, professor do Instituto de Tecnologia de Massachusetts.
Novo!!: Função μ-recursiva e George Boolos · 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!!: Função μ-recursiva e Lógica matemática · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: Função μ-recursiva e Máquina de Turing · Veja mais »
Número natural
Um número natural é um número inteiro não negativo \. Em alguns contextos, número natural é definido como um número inteiro positivo, sendo também o zero considerado como um número natural (mesmo não sendo positivo e sim nulo/neutro): \. O conjunto dos números naturais é, comumente, denotado pelo símbolo \mathbb.
Novo!!: Função μ-recursiva e Número natural · Veja mais »
Stephen Kleene
Stephen Cole Kleene (Hartford, — Madison) foi um matemático estadunidense.
Novo!!: Função μ-recursiva e Stephen Kleene · Veja mais »
Teoria da computação
A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação.
Novo!!: Função μ-recursiva e Teoria da computação · Veja mais »
