Tipo: Libro impreso / Print book
Tamaño / Size: 21 x 27.7 cm
Páginas / Pages: 95
Resumen / Summary:
Autor / Author: Virgilio Obeso Fernández
Editorial / Publisher: Universidad del Norte Editorial
Entrega / Delivery : Nacional / International
Envio desde / Ships from: Colombia
Condición / Condition: Nuevo / New
Tabla de contenido / Table of contents: Prólogo
1. Preliminares
1.1 Proposiciones
2. Fórmulas bien formadas
2.1 Introducción
2.2 Árboles, definiciones recursivas
2.3 Supresión de paréntesis
2.4 Notación prefija, entrefija y posfija
2.5 Decidibilidad
2.6 Convertir una notación entrefija a prefija
2.7 Equivalencias lógicas y su utilización
2.8 Conjuntos completos
2.9 Formas normales
3. Cálculo proposicional
3.1 Teorema de la Deducción
3.2 Validez
3.3 Completitud
3.4 Consistencia
4. Cálculo de predicados
4.1 Introducción
4.2 Predicados, relaciones y cuantificadores
4.3 Representación simbólica del lenguaje cotidiano
4.4 Variables ligadas y libres
4.5 Teoría general de la inferencia
4.6 Interpretación y validez
Bibliografía
No existen productos recomendados en este momento.
No existen productos recomendados en este momento.
