Acesso mais rápido do que o navegador!
63 relações: Adição, Alan Turing, Alfabeto (ciência da computação), Algoritmo, Algoritmo do castor, Algoritmo super-recursivo, Analogia, Axiomas de Blum, Cambridge University Press, Cálculo lambda, Compilador, Complexidade computacional, Complexidade de Kolmogorov, Composição de funções, Conjunto, Conjunto vazio, Constante de Chaitin, Contabilidade, David Hilbert, Domínio (matemática), Entscheidungsproblem, Enumeração, Equação diofantina, Função constante, Função exponencial, Função injectiva, Função μ-recursiva, Função parcial, Função semicomputável, Grau de Turing, Hierarquia aritmética, Hipercomputação, Identidade de Bézout, Linguagem de programação, Linguagem formal, Matemático, Máquina de Post, Máquina de Post-Turing, Máquina de registradores, Máquina de Turing, Máximo divisor comum, Método efetivo, Modelo de computação, Multiplicação, Número natural, Número ordinal, Nova Iorque (estado), Operação unária, Pi, Problema da parada, ..., Problema de decisão, Problema de função, Salto de Turing, Se e somente se, Tempo de execução, Teoria da computação, Teoria da computabilidade, Teoria dos grafos, Tese de Church-Turing, Tetração, 1936, 1967, 1977. Expandir índice (13 mais) »
Adição
Adição é uma das operações básicas da aritmética.
Novo!!: Função computável e Adição · Veja mais »
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!!: Função computável e Alan Turing · Veja mais »
Alfabeto (ciência da computação)
Em ciência da computação e em lógica matemática, um alfabeto é um conjunto de símbolos, como letras ou dígitos.
Novo!!: Função computável e Alfabeto (ciência da computação) · Veja mais »
Algoritmo
Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.
Novo!!: Função computável e Algoritmo · Veja mais »
Algoritmo do castor
Em Teoria da Computação, o algoritmo do castor (busy beaver) é uma máquina de Turing que, após iniciada em uma fita vazia (todas as posições em branco ou com 0), executa o maior número de passos possível, mas eventualmente para.
Novo!!: Função computável e Algoritmo do castor · Veja mais »
Algoritmo super-recursivo
Em teoria da computação, algoritmos super-recursivos são uma generalização de algoritmos ordinários que são mais poderosos, isto é, computam mais que uma máquina de Turing.
Novo!!: Função computável e Algoritmo super-recursivo · Veja mais »
Analogia
Analogia (do grego αναλογία – analogia, "proporção") é um processo cognitivo de transferência de informação ou significado de um sujeito particular (fonte) para outro sujeito particular (alvo), e também pode significar uma expressão linguística, correspondendo a este processo.
Novo!!: Função computável e Analogia · Veja mais »
Axiomas de Blum
Na teoria da complexidade computacional, os axiomas de Blum ou axiomas de complexidade de Blum são axiomas que especificam propriedades desejáveis de medidas de complexidade no conjunto de funções computáveis.
Novo!!: Função computável e Axiomas de Blum · Veja mais »
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 computável e Cambridge University Press · 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!!: Função computável e Cálculo lambda · Veja mais »
Compilador
GCC versão 4.0.2 rodando em uma janela xterm. Um programa simples está sendo compilado e então executado. Um compilador é um programa de computador (ou um grupo de programas) que, a partir de um código fonte escrito em uma linguagem compilada, cria um programa semanticamente equivalente, porém escrito em outra linguagem, código objeto.
Novo!!: Função computável e Compilador · Veja mais »
Complexidade computacional
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.
Novo!!: Função computável e Complexidade computacional · Veja mais »
Complexidade de Kolmogorov
A complexidade de Kolmogorov é uma teoria da informação e da aleatoriedade, profunda e sofisticada, que trata da quantidade de informação de objetos individuais, medida através do tamanho de sua menor descrição algorítmica.
Novo!!: Função computável e Complexidade de Kolmogorov · Veja mais »
Composição de funções
Em matemática, uma função composta é criada aplicando uma função à saída, ou resultado, de uma outra função, sucessivamente.
Novo!!: Função computável e Composição de funções · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Função computável e Conjunto · Veja mais »
Conjunto vazio
Em matemática, mais especificamente em teoria dos conjuntos, o conjunto vazio é o único conjunto que não possui elementos.
Novo!!: Função computável e Conjunto vazio · Veja mais »
Constante de Chaitin
Em ciência da computação, na sub-área de teoria da informação algorítmica, a constante de Chaitin (número Ômega de Chaitin) ou probabilidade de parada é um número real que informalmente representa a probabilidade de que um programa construído de forma aleatória irá parar.
Novo!!: Função computável e Constante de Chaitin · Veja mais »
Contabilidade
O fluxo de caixa é uma das ferramentas mais utilizadas pelas ciências contábeis Contabilidade é uma ciência aplicada, que tem como objeto de estudo o patrimônio das entidades (ou a azienda, que é o patrimônio mais a pessoa que o administra),FERREIRA, A. B. H. Novo dicionário da língua portuguesa.
Novo!!: Função computável e Contabilidade · Veja mais »
David Hilbert
David Hilbert (Königsberg, — Göttingen) foi um matemático alemão.
Novo!!: Função computável e David Hilbert · Veja mais »
Domínio (matemática)
Na matemática, e mais especificamente na teoria ingênua dos conjuntos, o domínio de definição (ou simplesmente o domínio) de uma função é o conjunto de valores de "entrada" ou argumento para os quais a função é definida.
Novo!!: Função computável e Domínio (matemática) · Veja mais »
Entscheidungsproblem
O Entscheidungsproblem (termo alemão para "problema de decisão") é um problema da lógica simbólica que consiste em achar um algoritmo genérico para determinar se um dado enunciado da lógica de primeira ordem pode ser provado.
Novo!!: Função computável e Entscheidungsproblem · Veja mais »
Enumeração
Em matemática e ciência da computação teórica, a enumeração é a repetiçao de diversas palavras seguidas de virgula.
Novo!!: Função computável e Enumeração · Veja mais »
Equação diofantina
Na matemática, uma equação Diofantina é uma equação polinomial que permite a duas ou mais variáveis assumirem apenas valores inteiros.
Novo!!: Função computável e Equação diofantina · Veja mais »
Função constante
Em matemática, uma função constante é uma função cujo valor (saída da função) é o mesmo para todos os valores de entrada.
Novo!!: Função computável e Função constante · Veja mais »
Função exponencial
Esboço do gráfico de uma função exponencial Chama-se função exponencial a função f:\mathbb\to \mathbb_+^* tal que f(x).
Novo!!: Função computável e Função exponencial · Veja mais »
Função injectiva
Na matemática, uma função injectiva (ou injetora) é uma função que preserva a distinção: nunca aponta elementos distintos de seu domínio para o mesmo elemento de seu contradomínio.
Novo!!: Função computável e Função injectiva · Veja mais »
Função μ-recursiva
Em lógica matemática e ciência computacional, as funções μ-recursivas são uma classe de funções parciais de números naturais para números naturais que são “computáveis” num sentido intuitivo.
Novo!!: Função computável e Função μ-recursiva · Veja mais »
Função parcial
Em matemática, uma função parcial é quase uma função, falhando na definição, porque para nem todos x do domínio existe algum f(x).
Novo!!: Função computável e Função parcial · Veja mais »
Função semicomputável
Na teoria da computabilidade, uma função semicomputável é uma função parcial f: \mathbb \rightarrow \mathbb que pode ser aproximada tanto por cima quanto por baixo através de uma função computável.
Novo!!: Função computável e Função semicomputável · Veja mais »
Grau de Turing
Em ciência da computação e lógica matemática o grau de Turing ou grau de insolubilidade de um conjunto de números naturais mede o nível de insolubilidade algorítmica do conjunto.
Novo!!: Função computável e Grau de Turing · Veja mais »
Hierarquia aritmética
Em Lógica matemática, a hierarquia aritmética, ou hierarquia de Kleene-Mostowski classifica certos conjuntos baseada na complexidade das formulas que o definem.
Novo!!: Função computável e Hierarquia aritmética · Veja mais »
Hipercomputação
Hipercomputação ou computação super-Turing refere-se aos modelos de computação que são mais poderosos que, ou são incomparáveis com, computabilidade de Turing.
Novo!!: Função computável e Hipercomputação · Veja mais »
Identidade de Bézout
Em matemática, particularmente em teoria dos números, a identidade de Bézout, também chamada lema de Bézout, teorema de Bézout ou ainda teorema de Bachet-Bézout, consiste da seguinte afirmação sobre inteiros: Como consequência imediata da identidade de Bézout, temos que se é um inteiro que divide e, então também divide. Ora, se, são inteiros tais que +.
Novo!!: Função computável e Identidade de Bézout · Veja mais »
Linguagem de programação
C. A linguagem de programação é um método padronizado, formado por um conjunto de regras sintáticas e semânticas, de implementação de um código fonte - que pode ser compilado e transformado em um programa de computador, ou usado como script interpretado - que informará instruções de processamento ao computador.
Novo!!: Função computável e Linguagem de programação · Veja mais »
Linguagem formal
Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.
Novo!!: Função computável e Linguagem formal · Veja mais »
Matemático
Arquimedes foi um dos maiores matemáticos da antiguidade Matemático é alguém que usa um amplo conhecimento de matemática em seu trabalho, normalmente para resolver problemas matemáticos.
Novo!!: Função computável e Matemático · Veja mais »
Máquina de Post
Na teoria da computação, uma máquina de Post, assim denominada em honra a Emil Leon Post, é um autômato determinístico, baseado na estrutura de dados do tipo fila com um símbolo auxiliar.
Novo!!: Função computável e Máquina de Post · Veja mais »
Máquina de Post-Turing
A máquina de Post-Turing é uma "formulação de um programa" de um tipo especialmente simples de máquina de Turing, compreendendo uma variante do modelo de computação Turing-equivalente de Emil Post descrito abaixo.
Novo!!: Função computável e Máquina de Post-Turing · Veja mais »
Máquina de registradores
Na lógica matemática e na ciência da computação teórica uma máquina de registradores é uma classe genérica de máquinas abstratas usadas de uma maneira similar a máquina de Turing.
Novo!!: Função computável e Máquina de registradores · 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 computável e Máquina de Turing · Veja mais »
Máximo divisor comum
O máximo divisor comum (abreviadamente, MDC) entre dois ou mais números reais é o maior número real que é fator de tais números.
Novo!!: Função computável e Máximo divisor comum · Veja mais »
Método efetivo
Em lógica e matemática - especialmente metalógica e teoria da computabilidade - método efetivo Hunter, Geoffrey, Metalogic: uma Introdução ao Metateoria de lógica de primeira ordem padrão, University of California Press, 1971 (também chamado de procedimento efetivo) é o procedimento para uma classe de problemas é um método para o qual cada passo pode ser descrito como uma operação mecânica, e que, se seguidas rigorosamente resulta em.
Novo!!: Função computável e Método efetivo · Veja mais »
Modelo de computação
Em teoria da computabilidade, um modelo de computação é a definição de um conjunto de operações que podem ser usadas numa computação e seus respectivos custos.
Novo!!: Função computável e Modelo de computação · Veja mais »
Multiplicação
Na matemática, a multiplicação é uma forma simples de se adicionar uma quantidade finita de números iguais.
Novo!!: Função computável e Multiplicação · 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 computável e Número natural · Veja mais »
Número ordinal
Na teoria dos conjuntos, um número ordinal, ou só ordinal, é um tipo de ordem de um conjunto bem-ordenado.
Novo!!: Função computável e Número ordinal · Veja mais »
Nova Iorque (estado)
Nova Iorque ou Nova York (New York) é um dos 50 estados dos Estados Unidos, localizado na Região nordeste do país.
Novo!!: Função computável e Nova Iorque (estado) · Veja mais »
Operação unária
Na matemática uma operação unária ou 1-ária, é uma operação com apenas um operando.
Novo!!: Função computável e Operação unária · Veja mais »
Pi
π minúscula é usada como símbolo do Pi π Na matemática, o número é uma proporção numérica definida pela relação entre o perímetro de uma circunferência e seu diâmetro; isto é, se uma circunferência tem perímetro p e diâmetro d, então aquele número é igual a p/d.
Novo!!: Função computável e Pi · Veja mais »
Problema da parada
Na teoria da computabilidade o experimento mental do problema da parada é um problema de decisão que pode ser declarado informalmente da seguinte forma: Alan Turing provou em 1936 que um algoritmo genérico para resolver o problema da parada para todos pares programa-entrada possíveis não pode existir.
Novo!!: Função computável e Problema da parada · Veja mais »
Problema de decisão
Na teoria da computabilidade e na teoria da complexidade computacional um problema de decisão é uma questão sobre um sistema formal com uma resposta do tipo sim-ou-não.
Novo!!: Função computável e Problema de decisão · Veja mais »
Problema de função
Em teoria da complexidade computacional, um problema de função é um problema computacional onde uma única saída (de uma função total) é esperada pra cada entrada, mas a sáida é mais complexa do que um problema de decisão, isto é, não é apenas SIM ou NÃO.
Novo!!: Função computável e Problema de função · Veja mais »
Salto de Turing
Em teoria da computabilidade, o Salto de Turing ou Operador de Salto de Turing, nomeado por Alan Turing, é um operador que designa para cada problema de decisão um sucessivo problema de decisão mais difícil que tem a propriedade é não-decidível por uma Máquina Oráculo com um oráculo para.
Novo!!: Função computável e Salto de Turing · Veja mais »
Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.
Novo!!: Função computável e Se e somente se · Veja mais »
Tempo de execução
Em informática, tempo de execução ou runtime (termo em inglês), é o período em que um programa de computador permanece em execução.
Novo!!: Função computável e Tempo de execução · 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 computável e Teoria da computação · 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!!: Função computável e Teoria da computabilidade · Veja mais »
Teoria dos grafos
Grafo com quatro vértices e 6 arestas. É um grafo completo, conexo e planar. A teoria dos grafos ou de grafos é um ramo da matemática que estuda as relações entre os objetos de um determinado conjunto.
Novo!!: Função computável e Teoria dos grafos · Veja mais »
Tese de Church-Turing
Na teoria da computabilidade, a Tese de Church-Turing ou Tese de Church, assim nomeada em referência a Alonzo Church e Alan Turing, é uma hipótese sobre a natureza de artefatos mecânicos de cálculo, como computadores, e sobre que tipo de algoritmos eles podem executar.
Novo!!: Função computável e Tese de Church-Turing · Veja mais »
Tetração
Em matemática, Tetração (também conhecida como hiper-4) é uma exponencial iterada, o primeiro hiper operador após a exponenciação.
Novo!!: Função computável e Tetração · Veja mais »
1936
---- (na numeração romana) foi um ano bissexto do século XX do actual Calendário Gregoriano, da Era de Cristo, e as suas letras dominicais foram E e D (53 semanas), seu início foi numa quarta-feira e terminou numa quinta-feira.
Novo!!: Função computável e 1936 · Veja mais »
1967
Sem descrição
Novo!!: Função computável e 1967 · Veja mais »
1977
Sem descrição
Novo!!: Função computável e 1977 · Veja mais »
Redireciona aqui:
Função computável parcial, Função computável total, Função recursiva total, Predicado computável.
