Acesso mais rápido do que o navegador!
43 relações: Ambiguidade, Aritmética de Robinson, Aritmética de segunda ordem, Autômato de árvore infinita, Autômato finito determinístico, Axiomas de Peano, Begriffsschrift, Conjunto definível, Conjuntos definidos, Consistência, Decidibilidade, Definable set, Estrutura de interpretação (lógica), Fecho transitivo, Gaisi Takeuti, George Boolos, Gramática de ordem superior, Hierarquia aritmética, Inexpressabilidade da Lógica de Primeira Ordem, Jean-Yves Girard, Lógica de independência amigável, Lógica de ordem superior, Lógica de predicados, Lógica de primeira ordem, Lógica de segunda ordem monádica, Lógica filosófica, Lógica proposicional, Leis do pensamento, Linguagem regular, Modelo de aritmética não padrão, Número de Rayo, Paradoxo de Skolem, PH (complexidade), Princípio da identidade dos indiscerníveis, Problema de satisfatibilidade booliana, Programação orientada a aspecto, Rudolf Carnap, Segundo problema de Hilbert, Skolemização, SNP (complexidade), Teorema de Löwenheim–Skolem, Teoria (lógica matemática), Teoria de modelos finitos.
Ambiguidade
Ambiguidade é o tipo de significado em que uma expressão, declaração ou resolução não está explicitamente definida, tornando plausíveis várias interpretações.
Novo!!: Lógica de segunda ordem e Ambiguidade · 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!!: Lógica de segunda ordem e Aritmética de Robinson · Veja mais »
Aritmética de segunda ordem
Na Lógica matemática, aritmética de segunda ordem é uma coleção de sistemas axiomáticos que formalizam os números naturais e seus subconjuntos.
Novo!!: Lógica de segunda ordem e Aritmética de segunda ordem · Veja mais »
Autômato de árvore infinita
Em ciência da computação e lógica matemática, um autômato de árvore infinita é uma máquina de estados que lida com estruturas de árvores infinitas.
Novo!!: Lógica de segunda ordem e Autômato de árvore infinita · Veja mais »
Autômato finito determinístico
Um exemplo de autômato finito determinístico que aceita apenas números binários múltiplos de 3. O estado ''S''0 é tanto o estado de início quanto um estado de aceitação. Na Teoria dos autômatos, um sub-tópico da Ciência da computação teórica, um autômato finito determinístico — também chamado máquina de estados finita determinística (AFD) — é uma Máquina de estados finita que aceita ou rejeita cadeias de símbolos gerando um único ramo de computação para cada cadeia de entrada.
Novo!!: Lógica de segunda ordem e Autômato finito determinístico · Veja mais »
Axiomas de Peano
Em lógica matemática, os axiomas de Peano, também conhecidos como os axiomas de Dedekind-Peano ou postulados de Peano, são um conjunto de axiomas para os números naturais apresentado pelo matemático italiano do século XIX Giuseppe Peano.
Novo!!: Lógica de segunda ordem e Axiomas de Peano · Veja mais »
Begriffsschrift
Begriffsschrift (Traduzido grosseiramente do alemão para "ideografia") é um livro de lógica feito por Gottlob Frege, publicado em 1879, e o sistema formal estabelecido neste livro.
Novo!!: Lógica de segunda ordem e Begriffsschrift · Veja mais »
Conjunto definível
Na lógica matemática, um conjunto definível é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura.
Novo!!: Lógica de segunda ordem e Conjunto definível · Veja mais »
Conjuntos definidos
Na lógica matemática, um conjunto definido é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura.
Novo!!: Lógica de segunda ordem e Conjuntos definidos · Veja mais »
Consistência
Na lógica clássica dedutiva, uma teoria é chamada de consistente se não contém contradição.
Novo!!: Lógica de segunda ordem e Consistência · Veja mais »
Decidibilidade
Em lógica, o termo decidível se refere a um problema de decisão, ou seja, a questão da existência de um método efetivo para determinar a pertinência em um conjunto de fórmulas.
Novo!!: Lógica de segunda ordem e Decidibilidade · Veja mais »
Definable set
Na lógica matemática, um conjunto definido é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura.
Novo!!: Lógica de segunda ordem e Definable set · Veja mais »
Estrutura de interpretação (lógica)
Na lógica, uma estrutura (ou estrutura de interpretação) é um objeto que dá significado semântico ou interpretação aos símbolos definidos pela assinatura de uma linguagem.
Novo!!: Lógica de segunda ordem e Estrutura de interpretação (lógica) · Veja mais »
Fecho transitivo
Na matemática, o fecho transitivo de uma relação binária R sobre um conjunto X é a relação transitiva R+ sobre o conjunto X de maneira que R+ contém R e R+ é mínimo (Lidl and Pilz 1998:337).
Novo!!: Lógica de segunda ordem e Fecho transitivo · Veja mais »
Gaisi Takeuti
foi um matemático japonês.
Novo!!: Lógica de segunda ordem e Gaisi Takeuti · 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!!: Lógica de segunda ordem e George Boolos · Veja mais »
Gramática de ordem superior
A gramática de ordem superior é uma teoria gramátical baseada na lógica de ordem superior.
Novo!!: Lógica de segunda ordem e Gramática de ordem superior · 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!!: Lógica de segunda ordem e Hierarquia aritmética · Veja mais »
Inexpressabilidade da Lógica de Primeira Ordem
Na lógica formal, a inexpressabilidade da lógica de primeira ordem é a incapacidade de uma expressão ser capturada adequadamente em teorias particulares da lógica de primeira ordem.
Novo!!: Lógica de segunda ordem e Inexpressabilidade da Lógica de Primeira Ordem · Veja mais »
Jean-Yves Girard
Jean-Yves Girard é um lógico francês que trabalha em teoria da prova.
Novo!!: Lógica de segunda ordem e Jean-Yves Girard · 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!!: Lógica de segunda ordem e Lógica de independência amigável · Veja mais »
Lógica de ordem superior
Na matemática e na lógica, uma lógica de ordem superior é uma forma de lógica de predicados que se distingue da lógica de primeira ordem por permitir a presença de quantificadores sobre predicados, e por possuir uma semântica mais forte.
Novo!!: Lógica de segunda ordem e Lógica de ordem superior · Veja mais »
Lógica de predicados
Para o termo específico, ver Lógica de primeira ordem Na lógica matemática, a lógica de predicados é um termo genérico para sistemas formais simbólicos como lógica de primeira ordem, lógica de segunda ordem, many-sorted logic ou infinitary logic.
Novo!!: Lógica de segunda ordem e Lógica de predicados · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Lógica de segunda ordem e Lógica de primeira ordem · Veja mais »
Lógica de segunda ordem monádica
Na lógica, o calculo monádico de predicados (também referido como lógica de primeira ordem monádica) é um fragmento da lógica de primeira ordem na qual, todos os simbolos de relações da assinatura são monádicas (isso é, só podem receber um argumento), e não existem símbolos de funções.
Novo!!: Lógica de segunda ordem e Lógica de segunda ordem monádica · Veja mais »
Lógica filosófica
Entendida em um sentido estrito, a lógica filosófica é a área da filosofia que estuda a aplicação de métodos lógicos a problemas filosóficos, muitas vezes na forma de sistemas lógicos estendidos como a lógica modal.
Novo!!: Lógica de segunda ordem e Lógica filosófica · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Lógica de segunda ordem e Lógica proposicional · Veja mais »
Leis do pensamento
Há quatro leis do pensamento clássicas reconhecidas na filosofia ocidental, principalmente a partir da filosofia do século XVII e da filosofia do século XVIII, e amplamente discutidas na filosofia do século XIX.
Novo!!: Lógica de segunda ordem e Leis do pensamento · Veja mais »
Linguagem regular
Na teoria da ciência da computação e teoria formal de linguagem, uma linguagem regular é uma linguagem formal que pode ser expressa usando expressões regulares, ou seja, uma linguagem produzida utilizando as operações de concatenação, união e fecho de Kleene sobre os elementos de um alfabeto.
Novo!!: Lógica de segunda ordem e Linguagem regular · Veja mais »
Modelo de aritmética não padrão
Na lógica matemática, um modelo da aritmética não-padrão é um modelo da (primeira-ordem) aritmética de Peano que contém números não-padrões.
Novo!!: Lógica de segunda ordem e Modelo de aritmética não padrão · Veja mais »
Número de Rayo
O número de Rayo é um número muito grande cujo nome se refere ao matemático Agustín Rayo, e que pode ser considerado o maior inteiro para o qual existe uma designação.
Novo!!: Lógica de segunda ordem e Número de Rayo · Veja mais »
Paradoxo de Skolem
Na lógica matemática e na filosofia, O paradoxo de Skolem é uma aparente contradição que surge a partir do Teorema Löwenheim–Skolem.
Novo!!: Lógica de segunda ordem e Paradoxo de Skolem · Veja mais »
PH (complexidade)
Na teoria da complexidade computacional, a classe de complexidade de PH é a união de todas as classes de complexidade na hierarquia polinomial: O PH foi primeiramente definido por Larry Stockmeyer.
Novo!!: Lógica de segunda ordem e PH (complexidade) · Veja mais »
Princípio da identidade dos indiscerníveis
Princípio da identidade dos indiscerníveis é uma das leis de Leibniz que afirma que, se x e y compartilham todas suas propriedades, x e y são idênticos.
Novo!!: Lógica de segunda ordem e Princípio da identidade dos indiscerníveis · Veja mais »
Problema de satisfatibilidade booliana
Na teoria da complexidade computacional, o problema de satisfatibilidade booliana (do inglês boolean satisfiability problem, muitas vezes abreviado como SATISFIABILITY ou SAT) foi o primeiro problema identificado como pertencente à classe de complexidade NP-completo.
Novo!!: Lógica de segunda ordem e Problema de satisfatibilidade booliana · Veja mais »
Programação orientada a aspecto
Em Ciência da Computação, programação orientada a aspectos ou POA, é um paradigma de programação de computadores, criado por Gregor Kiczales e equipe na Xerox PARC (divisão de pesquisa da empresa Xerox), que permite aos desenvolvedores de software organizar o código fonte de acordo com a importância de uso na aplicação e separar em módulos (separation of concerns).
Novo!!: Lógica de segunda ordem e Programação orientada a aspecto · Veja mais »
Rudolf Carnap
Rudolf Carnap (Ronsdorf, Wuppertal, — Santa Mônica) foi um filósofo alemão que trabalhou na Europa central antes de 1935 e nos Estados Unidos posteriormente.
Novo!!: Lógica de segunda ordem e Rudolf Carnap · Veja mais »
Segundo problema de Hilbert
Na matemática, o segundo problema de Hilbert foi proposto por David Hilbert em 1900, sendo esse um dos seus 23 problemas.
Novo!!: Lógica de segunda ordem e Segundo problema de Hilbert · Veja mais »
Skolemização
Uma fórmula da lógica de primeira ordem está na forma normal de Skolem (nome devido à Thoralf Skolem), se sua forma normal prenex contiver somente quantificadores universais.
Novo!!: Lógica de segunda ordem e Skolemização · Veja mais »
SNP (complexidade)
Na teoria da complexidade computacional, SNP (de Strict NP) é uma classe de complexidade que contém um subconjunto limitado de NP baseado em sua caracterização lógica em termos de propriedades da Teoria dos grafos.
Novo!!: Lógica de segunda ordem e SNP (complexidade) · Veja mais »
Teorema de Löwenheim–Skolem
Na lógica matemática, o teorema Löwenheim-Skolem, assim denominado em referência a Leopold Löwenheim e Thoralf Skolem, afirma que, se uma teoria de primeira ordem contável tem um modelo infinito, então para cada número cardinal infinito κ, existe um modelo de tamanho κ.
Novo!!: Lógica de segunda ordem e Teorema de Löwenheim–Skolem · Veja mais »
Teoria (lógica matemática)
Em lógica matemática, uma teoria (também chamada de teoria formal) é um conjunto de sentenças em uma linguagem formal.
Novo!!: Lógica de segunda ordem e Teoria (lógica matemática) · Veja mais »
Teoria de modelos finitos
Teoria dos modelos finitos (TMF) é uma subárea da Teoria dos modelos (TM).
Novo!!: Lógica de segunda ordem e Teoria de modelos finitos · Veja mais »
