Lógica: Lógica proposicional, Grafo lógico, Prolog, Sistema especialista, Axioma, Quantificação, Lógica modal, Teorema da completude de Gödel

 
9781231469668: Lógica: Lógica proposicional, Grafo lógico, Prolog, Sistema especialista, Axioma, Quantificação, Lógica modal, Teorema da completude de Gödel
From the Publisher:

Fonte: Wikipedia. Páginas: 158. Capítulos: Lógica proposicional, Grafo lógico, Prolog, Sistema especialista, Axioma, Quantificação, Lógica modal, Teorema da completude de Gödel, Tabela verdade, Silogismo, Dedução natural, Raciocínio revogável, Relação binária, Algoritmo Chaff, Tautologia, Recursividade, Programação lógica, Lógica deôntica, Argumento, Lógica difusa, Estrutura de interpretação, Lógica epistêmica, Consequência lógica, História da lógica, Cálculo proposicional implicacional, Relação bem-fundada, Quadrado das oposições, Problema de decisão, Organon, Navalha de Occam, Prova matemática, Teorema de redução de modalidades em S5, Autorreferência, Lei de Peirce, A priori, Certeza, Assinatura, Fio de Ariadne, Ônus da prova, Relação de recorrência, Algoritmo DPLL, Lógica aristotélica, Validade, Aridade, Problema da parada, Criptaritmética, Entscheidungsproblem, Essencialismo, Ardil 22, Teorema da incompletude de Gödel, Teoria semântica da verdade, Derivação formal, Lógica ternária, Correção, Constantes lógicas, Atribuição, Teoria axiomática, Conjunção lógica, Função de verdade, Verificação de modelos, Neutrosofia, Teoremas de De Morgan, Sofisma, Escopo, Lógica de descrição, Disjunção lógica, Quantificação existencial, Fórmula, Proposição, Descrições definidas, Valor de verdade, Pensamento crítico, Acarretamento, Completude funcional, Método dedutivo, Contradição, Descritivismo, Princípio de explosão, Categorias, Da Interpretação, Barra de Frege, Analogia, Leis do pensamento, Valoração, Lógica binária, Silogismo disjuntivo, Lógica informal, Método dedutivo-nomológico, Interpretação pretendida, Lógica paraconsistente, Millianismo, Designador rígido, Equivalência lógica, Sintaxe, Prova por contradição, Senso comum, Condicional material, Fórmula atômica, Lógica de classes, Analíticos anteriores, Proposições russellianas, Axioma esquemático, Não ser, Lei do terceiro excluído, Analíticos posteriores, Mapa de argumentos, Operadores lógicos, Dupla negação, Coincidên...

"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