Acesso mais rápido do que o navegador!
54 relações: Ad hoc, Alan Turing, Alonzo Church, Aridade, Assinatura (lógica), Axioma, Axiomas de Peano, Axiomas de Zermelo-Fraenkel, Conjuntos recursivamente enumeráveis, Entscheidungsproblem, Estrutura de interpretação (lógica), Fórmula atômica, Fórmula bem formada, FBF, George Boolos, Inferência, Intuicionismo, Kurt Gödel, Lógica de independência amigável, Lógica de ordem superior, Lógica de segunda ordem, Lógica de segunda ordem monádica, Lógica infinitária, Lógica matemática, Lógica modal, Lógica proposicional, Linguagem formal, Lista de regras de inferência, Lista de teorias de primeira ordem, Matemática, Máquina de Turing, Modus ponens, Notação polonesa, Operador lógico, Par ordenado, Problema da parada, Programa de Hilbert, Prova matemática, Quantificação, Quantificação plural, Relação (matemática), Semântica axiomática, Sistema formal, Teorema da compacidade, Teorema da completude de Gödel, Teoremas da incompletude de Gödel, Teoria dos conjuntos, Teoria dos modelos, Teoria dos tipos, Teoria ingênua dos conjuntos, ..., Thoralf Skolem, Topologia (matemática), Universo de discurso, Variáveis livres e ligadas. Expandir índice (4 mais) »
Ad hoc
Ad hoc é uma expressão latina cuja tradução literal é "para isto" ou "para esta finalidade".
Novo!!: Lógica de primeira ordem e Ad hoc · 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!!: Lógica de primeira ordem e Alan Turing · Veja mais »
Alonzo Church
Alonzo Church (Washington, DC, 14 de junho de 1903 — Hudson (Ohio), 8 de novembro de 1995) foi um matemático estadunidense.
Novo!!: Lógica de primeira ordem e Alonzo Church · Veja mais »
Aridade
Na matemática a aridade de uma função ou operação é o número de argumentos ou operandos tomados.
Novo!!: Lógica de primeira ordem e Aridade · Veja mais »
Assinatura (lógica)
Na lógica matemática, uma assinatura compreende o conjunto de símbolos não-lógicos que caracteriza uma linguagem formal.
Novo!!: Lógica de primeira ordem e Assinatura (lógica) · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Lógica de primeira ordem e Axioma · 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 primeira ordem e Axiomas de Peano · Veja mais »
Axiomas de Zermelo-Fraenkel
Na matemática, a teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha, nomeada em homenagem aos matemáticos Ernst Zermelo e Abraham Fraenkel e comumente abreviada como ZFC, é um dos muitos sistemas axiomáticos que foram propostos no início do século XX para promover uma teoria dos conjuntos sem os paradoxos da teoria ingênua dos conjuntos, como o paradoxo de Russell.
Novo!!: Lógica de primeira ordem e Axiomas de Zermelo-Fraenkel · 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!!: Lógica de primeira ordem e Conjuntos recursivamente enumeráveis · 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!!: Lógica de primeira ordem e Entscheidungsproblem · 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 primeira ordem e Estrutura de interpretação (lógica) · Veja mais »
Fórmula atômica
Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas.
Novo!!: Lógica de primeira ordem e Fórmula atômica · Veja mais »
Fórmula bem formada
formulações sem sentido ou fórmulas bem formadas. Uma linguagem formal pode ser interpretada como sendo o conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e não-teoremas. Em lógica matemática, uma fórmula bem formada, abreviadamente fbf, é uma expressão (por exemplo, uma sequência finita de símbolos de determinado alfabeto) que é parte de uma Linguagem formal.
Novo!!: Lógica de primeira ordem e Fórmula bem formada · Veja mais »
FBF
* Federação Bahiana de Futebol — federação esportiva brasileira.
Novo!!: Lógica de primeira ordem e FBF · 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 primeira ordem e George Boolos · Veja mais »
Inferência
Em Lógica, inferência ou ilação é operação intelectual mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras.
Novo!!: Lógica de primeira ordem e Inferência · Veja mais »
Intuicionismo
Na filosofia da matemática, intuicionismo ou neointuicionismo (em oposição ao pré-intuicionismo) é uma abordagem à matemática de acordo com a atividade mental construtiva dos humanos.
Novo!!: Lógica de primeira ordem e Intuicionismo · Veja mais »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, 28 de abril de 1906 — Princeton, 14 de janeiro de 1978) foi um filósofo, matemático e lógico austríaco, naturalizado norte-americano.
Novo!!: Lógica de primeira ordem e Kurt Gödel · 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 primeira 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 primeira ordem e Lógica de ordem superior · Veja mais »
Lógica de segunda ordem
Na lógica matemática, a lógica de segunda ordem é uma extensão da lógica de primeira ordem, onde a própria lógica de primeira ordem é uma extensão de lógica proposicional.
Novo!!: Lógica de primeira ordem e Lógica de segunda 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 primeira ordem e Lógica de segunda ordem monádica · Veja mais »
Lógica infinitária
Uma lógica infinitária é uma lógica que permite declarações infinitamente longas e/ou provas infinitamente longas.
Novo!!: Lógica de primeira ordem e Lógica infinitá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!!: Lógica de primeira ordem e Lógica matemática · Veja mais »
Lógica modal
A lógica modal se refere a qualquer sistema de lógica formal que procure lidar com modalidades (tratar de modos quanto a tempo, possibilidade, probabilidade, etc.). Tradicionalmente, as modalidades mais comuns são possibilidade e necessidade.
Novo!!: Lógica de primeira ordem e Lógica modal · 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 primeira ordem e Lógica proposicional · 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!!: Lógica de primeira ordem e Linguagem formal · Veja mais »
Lista de regras de inferência
Regras de inferência são regras de transformação sintáticas que podem ser usadas para inferir uma conclusão a partir de uma premissa, para criar um argumento.
Novo!!: Lógica de primeira ordem e Lista de regras de inferência · Veja mais »
Lista de teorias de primeira ordem
Na lógica, uma teoria de primeira ordem é um conjunto de fórmulas que fazem sentido em uma linguagem de primeira ordem.
Novo!!: Lógica de primeira ordem e Lista de teorias de primeira ordem · 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!!: Lógica de primeira ordem e 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!!: Lógica de primeira ordem e Máquina de Turing · Veja mais »
Modus ponens
Na lógica proposicional, modus ponendo ponens (em latim significa "a maneira que afirma afirmando", muitas vezes abreviado para MP ou modus ponens) ou a eliminação da implicação é uma válida e simples forma de argumento e regra de inferência.
Novo!!: Lógica de primeira ordem e Modus ponens · Veja mais »
Notação polonesa
Notação Polonesa (no Brasil, em Portugal é Notação Polaca) ou Notação de Prefixo é uma forma de notação para lógica, aritmética e álgebra.
Novo!!: Lógica de primeira ordem e Notação polonesa · Veja mais »
Operador lógico
Operador lógico, assim como um operador aritmético, é uma classe de operação sobre variáveis ou elementos pré-definidos.
Novo!!: Lógica de primeira ordem e Operador lógico · Veja mais »
Par ordenado
Em matemática, um par ordenado (a, b) é um par de objetos matemáticos cuja ordem de ocorrência desses objetos é significante.
Novo!!: Lógica de primeira ordem e Par ordenado · 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!!: Lógica de primeira ordem e Problema da parada · Veja mais »
Programa de Hilbert
O programa de Hilbert foi uma proposta feita em 1921 pelo matemático alemão David Hilbert de reformular as bases da matemática de forma rigorosa, partindo da aritmética.
Novo!!: Lógica de primeira ordem e Programa de Hilbert · Veja mais »
Prova matemática
Prova do teorema de Euclides. Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro.
Novo!!: Lógica de primeira ordem e Prova matemática · Veja mais »
Quantificação
O termo Quantificação tem vários significados, gerais e específicos.
Novo!!: Lógica de primeira ordem e Quantificação · Veja mais »
Quantificação plural
Na matemática e na lógica, a quantificação plural é a teoria na qual uma variável individual x pode representar múltiplos objetos (plural), assim como objetos individuais (singular).
Novo!!: Lógica de primeira ordem e Quantificação plural · Veja mais »
Relação (matemática)
Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios.
Novo!!: Lógica de primeira ordem e Relação (matemática) · Veja mais »
Semântica axiomática
Semântica axiomática é uma abordagem de semântica formal.
Novo!!: Lógica de primeira ordem e Semântica axiomática · 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!!: Lógica de primeira ordem e Sistema formal · Veja mais »
Teorema da compacidade
O Teorema da Compacidade assegura que um conjunto \Gamma \,\! qualquer formado por fórmulas bem formadas de um cálculo de predicados de primeira ordem é satisfazível se, e somente se, todo subconjunto finito \Gamma_0 \,\! de \Gamma \,\! também é satisfazível.
Novo!!: Lógica de primeira ordem e Teorema da compacidade · Veja mais »
Teorema da completude de Gödel
O Teorema da completude de Gödel é um importante teorema da lógica matemática, demonstrado originalmente por Kurt Gödel, em 1929.
Novo!!: Lógica de primeira ordem e Teorema da completude de Gödel · Veja mais »
Teoremas da incompletude de Gödel
Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes a quase todos os sistemas axiomáticos, exceto aos mais triviais.
Novo!!: Lógica de primeira ordem e Teoremas da incompletude de Gödel · Veja mais »
Teoria dos conjuntos
conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.
Novo!!: Lógica de primeira ordem e Teoria dos conjuntos · Veja mais »
Teoria dos modelos
Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.
Novo!!: Lógica de primeira ordem e Teoria dos modelos · Veja mais »
Teoria dos tipos
Teoria dos tipos é o ramo da matemática e da lógica que se preocupa com a classificação de entidades em conjuntos chamados tipos.
Novo!!: Lógica de primeira ordem e Teoria dos tipos · Veja mais »
Teoria ingênua dos conjuntos
Na matemática abstrata, a teoria dos conjuntos foi o primeiro desenvolvimento da teoria dos conjuntos, que foi mais tarde remodelada cuidadosamente como a teoria axiomática dos conjuntos.
Novo!!: Lógica de primeira ordem e Teoria ingênua dos conjuntos · Veja mais »
Thoralf Skolem
Thoralf Albert Skolem (Sandsvaer, 23 de maio de 1887 — Oslo, 23 de março de 1963) foi um matemático norueguês, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos.
Novo!!: Lógica de primeira ordem e Thoralf Skolem · Veja mais »
Topologia (matemática)
Topologia (do grego topos, "lugar", e logos, "estudo") é o ramo da matemática que estuda os espaços topológicos, sendo considerado como uma extensão da geometria.
Novo!!: Lógica de primeira ordem e Topologia (matemática) · Veja mais »
Universo de discurso
O domínio de discurso, também chamado de universo de discurso ou domínio de quantificação, é uma ferramenta analítica usada na lógica dedutiva, especialmente na lógica de predicados.
Novo!!: Lógica de primeira ordem e Universo de discurso · Veja mais »
Variáveis livres e ligadas
Em programação de computadores, uma variável livre é uma variável referenciada em uma função, que não é nem uma variável local nem um argumento daquela função.
Novo!!: Lógica de primeira ordem e Variáveis livres e ligadas · Veja mais »
Redireciona aqui:
CPPO, Cálculo de predicados de primeira ordem, Linguagem de primeira ordem.
