Este libro proporciona al lector fundamentos de lógica, para las ciencias de la computación, sólo se asumen conocimientos previos muy básicos de matemáticas, conocimientos que además se revisan brevemente.
El libro inicia con un capítulo de preliminares matemáticos donde se repasan: Conjuntos, Relaciones y funciones, Combinatoria, Demostración de propiedades.
Continúa con la definición de la lógica proposicional y de las técnicas de deducción en esta lógica y sus aplicaciones. En la segunda parte del libro define la lógica de primer orden, explica los métodos de deducción e incluye algunas aplicaciones. Dedica un capítulo a la programación lógica.
Ventajas Competitivas
- Escrito de forma amena y cercana, simplificando al máximo la carga rotacional, con numerosos ejemplos que ilustran los conceptos explicados.
- Más de 200 ejercicios acompañados de su correspondiente solución, desarrollada en todo detalle.
Conozca
- La lógica como una herramienta formal de apoyo en diversas áreas de las ciencias de la computación.
- La lógica de primer orden, sus métodos de deducción y aplicaciones.
- Las estructuras de datos más adecuadas a la resolución de problemas de la lógica computacional.
- Cómo analizar, diseñar y construir sistemas de lógica computacional utilizando técnicas propias de los sistemas inteligentes.
- Cómo formalizar y representar el conocimiento humano en una forma computable para la resolución de problemas mediante un sistema informático.
- Cómo solucionar problemas lógicos que puedan plantearse en la ingeniería.
- Las propiedades fundamentales de los cálculos lógicos, tales como adecuación y completitud.
Aprenda
- Las técnicas de deducción de la lógica proposicional y sus aplicaciones.
- Cómo construir aplicaciones de lógica computacional eligiendo el paradigma y lenguaje de programación más adecuado.
- Cómo construir y desarrollar argumentos lógicos, identificando claramente las hipótesis y las conclusiones.
- Cómo presentar argumentos y conclusiones con claridad y exactitud.
- Cómo usar la lógica para especificar, verificar y razonar sobre programas informáticos.
- Cómo identificar problemas que pueden expresarse como problemas lógicos, traducirlo a la forma apropiada.
