Acesso mais rápido do que o navegador!
22 relações: Anatoly Maltsev, Aritmética de Büchi, Aritmética de Presburger, Aritmética de Robinson, Axioma de Cantor-Dedekind, Cálculo lambda simplesmente tipado, Eliminação de quantificadores, Gramática irrestrita, Interpretação Dialectica, Lógica de independência amigável, Linguagem formal, Lista de problemas indecidíveis, Máquina de Turing, Método efetivo, Metalógica, Modelo econômico, Sistema axiomático, Sistema formal, Teorema de Post, Teoria da aprendizagem computacional, Teoria dos tipos intuicionista, Tese da computação paralela.
Anatoly Maltsev
Anatoly Ivanovich Maltsev (Malcev) (Анатолий Иванович Мальцев; Misheronsky, — Novosibirsk) foi um matemático russo, conhecido por seu trabalho em decidibilidade de vários grupo algébricos.
Novo!!: Decidibilidade e Anatoly Maltsev · Veja mais »
Aritmética de Büchi
Aritmética de Büchi de base k é a teoria de primeira ordem dos números naturais com adição e a função V_k(x) que é definida como a maior potência de k dividindo x, denominado em homenagem ao matemático Suíço Julius Richard Büchi.
Novo!!: Decidibilidade e Aritmética de Büchi · Veja mais »
Aritmética de Presburger
A Aritmética de Presburger é uma teoria de primeira-ordem dos números naturais com soma.
Novo!!: Decidibilidade e Aritmética de Presburger · Veja mais »
Aritmética de Robinson
Na matemática, a Aritmética de Robinson, ou Q, é um fragmento finitamente axiomatizado da Aritmética de Peano (AP), estabelecida pela primeira vez por Raphael Mitchel Robinson (1950).
Novo!!: Decidibilidade e Aritmética de Robinson · Veja mais »
Axioma de Cantor-Dedekind
Em lógica matemática, a frase axioma de Cantor-Dedekind tem sido usado para descrever a tese de que os números reais são ordenados isomorficamente ao contínuo linear da geometria.
Novo!!: Decidibilidade e Axioma de Cantor-Dedekind · 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!!: Decidibilidade e Cálculo lambda simplesmente tipado · Veja mais »
Eliminação de quantificadores
Eliminação de quantificadores é um conceito de simplificação usado na lógica matemática, teoria dos modelos, e ciência da computação teórica.
Novo!!: Decidibilidade e Eliminação de quantificadores · Veja mais »
Gramática irrestrita
Em Teoria da computação, a Gramática irrestrita (conhecida também como Gramática com estrutura de frase) é também conhecida como Tipo 0 da Hierarquia de Chomsky, que são aquelas às quais nenhuma limitação é imposta.
Novo!!: Decidibilidade e Gramática irrestrita · Veja mais »
Interpretação Dialectica
Em teoria da prova, a Interpretação Dialectica é uma interpretação de prova da aritmética intuicionística (Aritmética de Heyting) em uma extensão de tipos finitos da aritmética primitiva recursiva, o chamado Sistema T. Foi desenvolvida por Kurt Gödel para fornecer uma prova de consistência da aritmética.
Novo!!: Decidibilidade e Interpretação Dialectica · Veja mais »
Lógica de independência amigável
Lógica de independência amigável (do inglês Independence-Friendly, Lógica IF), proposta por Jaakko Hintikka e Gabriel Sandu em 1989, objetiva ser uma alternativa mais natural e intuitiva à clássica lógica de primeira ordem (FOL).
Novo!!: Decidibilidade e Lógica de independência amigável · 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!!: Decidibilidade e Linguagem formal · Veja mais »
Lista de problemas indecidíveis
Em Teoria da Computabilidade, o Problema indecidível é um problema em que é impossível construir um algoritmo que sempre responde sim ou não, ele pode não responder ou responder errado.
Novo!!: Decidibilidade e Lista de problemas indecidíveis · 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!!: Decidibilidade e Máquina de Turing · 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!!: Decidibilidade e Método efetivo · Veja mais »
Metalógica
Metalógica é o estudo da metateoria da Lógica.
Novo!!: Decidibilidade e Metalógica · Veja mais »
Modelo econômico
Pode-se entender um modelo econômico como uma representação (ver modelo científico) ou proposta (ver constructo social) mais amplamente, como um conceito que já seja proposicional ou metodológico a respeito de algum processo ou fenômeno econômico. Como em outras disciplinas, os modelos são, em geral, representações ideais ou simplificadas, que ajudam ao entendimento de sistemas reais mais complexos.
Novo!!: Decidibilidade e Modelo econômico · Veja mais »
Sistema axiomático
Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas.
Novo!!: Decidibilidade e Sistema axiomático · 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!!: Decidibilidade e Sistema formal · Veja mais »
Teorema de Post
Na teoria da computação, o Teorema de Post,em homenagem à Emil Post, descreve a conexão entre hierarquia aritmética e os graus de Turing.
Novo!!: Decidibilidade e Teorema de Post · Veja mais »
Teoria da aprendizagem computacional
A teoria da aprendizagem computacional é um sub-campo da inteligência artificial e teoria da computação que busca construir modelos formais de projeto e analise de agentes de aprendizado baseados em máquinas de estado.
Novo!!: Decidibilidade e Teoria da aprendizagem computacional · Veja mais »
Teoria dos tipos intuicionista
Teoria dos tipos intuicionista, ou Teoria dos tipos construtiva, ou Teoria dos tipos de Martin-Löf é uma teoria dos tipos e uma alternativa para os fundamentos da matemática baseados nos princípios do construtivismo matemático.
Novo!!: Decidibilidade e Teoria dos tipos intuicionista · Veja mais »
Tese da computação paralela
Na teoria da complexidade computacional, a tese da computação paralela é uma hipótese que afirma que o tempo é utilizado por uma máquina paralela (razoável) e é polinomialmente relacionada com o espaço utilizado por uma máquina seqüencial.
Novo!!: Decidibilidade e Tese da computação paralela · Veja mais »
