Lógica matemática: Teoria dos modelos, Lógica proposicional, Grafo lógico, Lógica de primeira ordem, Quantificação, Lógica modal

0 valoración promedio
( 0 valoraciones por GoodReads )
 
9781231469156: Lógica matemática: Teoria dos modelos, Lógica proposicional, Grafo lógico, Lógica de primeira ordem, Quantificação, Lógica modal
From the Publisher:

Fonte: Wikipedia. Páginas: 77. Capítulos: Teoria dos modelos, Lógica proposicional, Grafo lógico, Lógica de primeira ordem, Quantificação, Lógica modal, Dedução natural, Lógica de segunda ordem, Recursividade, Tautologia, Princípio da resolução, Indução matemática, Skolemização, Lógica combinatória, Indução estrutural, Teorema, Número de Gödel, Teorema da compacidade, Prova matemática, Teorema de redução de modalidades em S5, Variáveis livres e ligadas, Quantificação universal, Lei de Peirce, Assinatura, Forma normal prenex, Interpretação substitucional e objetual, Unificação, Constantes lógicas, Fórmula bem formada, Forma normal clausal, Conjunção lógica, Teoria dos tipos, Universo de Herbrand, Disjunção lógica, Quantificação existencial, Lógica combinacional, Algoritmo de Wang, Cláusula de Horn, Se e somente se, Fórmula atômica, Base de Herbrand, Função booleana, Negação, Axiomas de Peano, Lógica quântica, Programa de Hilbert, Implicação, Noção primitiva, Lógica de ordem superior, Logicismo, Universo de discurso, Teoria da decisão, Literal, Fundações da matemática, Átomo básico, Demonstração construtiva, Teorema de Herbrand, Teoria de Herbrand, Cláusula básica, Literal básico, Caso especial, Extensionalidade, Sistema formal, Raciocínio lógico. Excerto: 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. Em termos gerais, um cálculo é frequentemente apresentado como um sistema formal que consiste em um conjunto de expressões sintáticas (fórmulas bem formadas, ou fbfs), um subconjunto distinto dessas expressões, e um conjunto de regras formais que define uma relação binária específica, que se pretende interpretar como a noção de equivalência lógica, no espaço das expre...

"Sobre este título" puede pertenecer a otra edición de este libro.

(Ningún ejemplar disponible)

Buscar:



Crear una petición

Si conoce el autor y el título del libro pero no lo encuentra en IberLibro, nosotros podemos buscarlo por usted e informarle por e-mail en cuanto el libro esté disponible en nuestras páginas web.

Crear una petición