Conceptos elementales de lógica informática

Tipo: Libro impreso / Print book

Tamaño / Size: 15.5 x 23 cm

Páginas / Pages: 200

Resumen / Summary:

Autor / Author: Nelson Becerra Correa
Editorial / Publisher: ECOE Ediciones
Entrega / Delivery : Nacional / International
Envio desde / Ships from: Colombia
Condición / Condition: Nuevo / New

Tabla de contenido / Table of contents:

Conceptos generales de lógica

Oraciones y proposiciones
Verdad y validez
Sintaxis

Semántica
Formalizar proposiciones
Formalizar inferencias
Ejemplos de inferencias ordenadas
Ejemplos de inferencias desordenadas
Símbolos utilizados en este libro

Lógica proposicional

Lógica proposicional
Sintaxis de la lógica proposicional Subfórmulas
Semántica de la lógica proposicional

Análisis de inferencias
Tablas de verdad
Formas normales
Forma normal conjuntiva
Formas normal disyuntiva
Resolución
Método de resolución
Tableaux semánticos representados como árboles

Lógica predicados

Lenguaje de la lógica
Lenguaje del cálculo de predicados
Árbol de una fórmula
Semántica de la lógica de predicados
Equivalencias lógicas

Indecibilidad del cálculo de predicados
Ejercicios cálculo de predicados . . . .

Procedimiento de prueba de lógica predicados

Introducción
Formas normales de la lógica de predicados
Forma clausal
Forma normal de Skolem
Teorema de Herbrand
Tableaux semánticos de primer orden
Unificación
Resolución de primer orden

Deducción natural

Introducción
Conceptos generales
Reglas empleadas en la deducción natural
Prueba directa
Prueba condicional
Pruebas por reducción al absurdo
Notación
Las reglas
Las reglas de inferencia en términos de la deducción natural

Ejercicios

Técnicas resolución SAT

El problema SAT
Qué es SAT
Áreas de investigación de SAT
Casos de prueba SAT
Métodos de solución
Breve revisión de las técnicas para solucionar SAT
Otros trabajos

Qué procesos son importantes en un resolvedor SAT
Algoritmos Backtracking Search
Estructuras de datos
Heurísticas de selección de variable
Aprendizaje de cláusulas dirigidas por conflictos
Backtracking no-cronológico
Reinicios y aleatorización
Búsqueda local

Características de algunos algoritmos SAT
Algoritmos completos
Algoritmos incompletos
Competiciones SAT

Conclusiones

Ver todas las reseñas