Conoce Aseuc

Conceptos elementales de lógica informática

U. Distrital Francisco José de C
Mira otros U. Distrital Francisco José de C articulos

libro

Más vistas

Conceptos elementales de lógica informática

U. Distrital Francisco José de C
Mira otros U. Distrital Francisco José de C articulos

COP $ 43.000
COP $ 43.000

Disponibilidad: Disponible


Autor: Nelson Becerra Correa

Editorial: U. Distrital Francisco José de C

U. Distrital Francisco José de C

Año de Edición: 2012

2012

Idioma: Español

Formato: Libro Impreso

Número de páginas: 200

ISBN: 9789588782157

9789588782157
Este libro está dividido en seis capítulos. El primero habla de los conceptos generales de la lógica; en el segundo se tratan los conceptos elementales de la lógica de proposiciones; el tercero trata sobre la lógica de predicados; posteriormente, se desarrollan los procedimientos de prueba de l...
O BIEN

SKU: 224111

Producto creado el 05/06/2013

Descripción

Detalles

Este libro está dividido en seis capítulos. El primero habla de los conceptos generales de la lógica; en el segundo se tratan los conceptos elementales de la lógica de proposiciones; el tercero trata sobre la lógica de predicados; posteriormente, se desarrollan los procedimientos de prueba de la lógica de predicados; en el quinto se aborda la deducción natural y por último, se trata el tema de la resolución del problema SAT de una manera muy elemental. Este texto está diseñado para abarcar el curso de Lógica Informática de la carrera de Ingeniería o Tecnología. Aquí no se inventa nada, pero como dice André Guide "Todas las cosas están ya dichas; pero como nadie escucha, hay que volver a empezar siempre". Algunos de los temas tratados son conocidos desde hace miles de al10S y han sido explicados por muchos autores con la formación adecuada para detallarlos y demostrarlos de manera ortodoxa y con claridad.Aquí no se inventa nada, pero como dice André Guide "Todas las cosas están ya dichas; pero como nadie escucha, hay que volver a empezar siempre". Algunos de los temas tratados son conocidos desde hace miles de al10S y han sido explicados por muchos autores con la formación adecuada para detallarlos y demostrarlos de manera ortodoxa y con claridad.
Información adicional

Información adicional

Editor / MarcaU. Distrital Francisco José de C
Año de Edición2012
Número de Páginas200
Idioma(s)Español
Alto y ancho15.5 x 23
Peso0.3100
Tipo Productolibro
Autor

Nelson Becerra Correa

información no disponible.

Tabla de Contenido

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

Reseñas