Descripción
Lógica matemática y computacional
Resumen del libro
Este manual ofrece un curso teórico-práctico que introduce al lector en los aspectos de la lógica que más han impactado en la ciencia y la tecnología puntera. Con numerosos ejemplos resueltos y ejercicios propuestos, la obra abarca desde la lógica proposicional hasta la lógica temporal, incluyendo la verificación formal de programas. Es una herramienta fundamental para quienes buscan profundizar en los mecanismos que constituyen la Inteligencia Artificial y el razonamiento formalizado.
¿De qué trata?
El libro desarrolla un recorrido completo por los fundamentos de la lógica matemática y su aplicación computacional. Los primeros capítulos se centran en la lógica proposicional, incluyendo la definición del lenguaje y los sistemas deductivos como la deducción natural. A continuación, aborda la lógica de predicados de primer orden, explicando la semántica de las interpretaciones, las equivalencias y la resolución. La obra también incluye la lógica de Hoare, dedicada a la verificación de programas secuenciales, y concluye con una introducción a la lógica modal y la lógica temporal, que permiten razonar con conceptos de relaciones y tiempo de forma didáctica.
Temas principales
- Lógica proposicional y sistemas deductivos
- Lógica de predicados de primer orden
- Verificación formal de programas con lógica de Hoare
- Lógica modal y razonamiento sobre relaciones
- Lógica temporal para el razonamiento con el tiempo
- Fundamentos de la Inteligencia Artificial
¿Para quién está recomendado?
Está dirigido a estudiantes de Filosofía interesados en el arte de pensar y argumentar, así como a alumnos de Ingeniería, Ingeniería Informática y Ciencias Matemáticas (STEM) que necesiten fomentar su capacidad de abstracción y razonamiento formalizado. También es útil para profesionales que deseen comprender los fundamentos lógicos de la computación actual.
Qué aporta este libro
- Proporciona una base sólida en lógica matemática aplicada a la computación.
- Ofrece numerosos ejemplos resueltos y ejercicios prácticos para afianzar conceptos.
- Facilita la comprensión de los mecanismos subyacentes de la Inteligencia Artificial.
- Desarrolla habilidades de razonamiento formalizado y verificación de programas.
- Presenta de manera didáctica sistemas lógicos avanzados como la lógica modal y temporal.
Ficha técnica
- Autor: Jiménez de Parga, Carlos
- Editorial: Editorial Tebar Flores
- Idioma: Español
- Tema: ENSAYOS LITERARIOS, LOGICA MATEMATICA, DIVULGACION CIENTIFICA, TEORIA MATEMATICA DE LA COMPUTACION
- Colección: MATEMATICAS
- Encuadernación: Bolsillo
- Fecha de edición: septiembre de 2024
- Número de páginas: 238
- Peso: 404 g
Valoración editorial
Esta obra destaca por su enfoque práctico y progresivo, combinando teoría con ejercicios que facilitan el aprendizaje autónomo. Su cobertura de temas que van desde la lógica clásica hasta la verificación de programas y la lógica temporal la convierte en un recurso valioso tanto para estudiantes de filosofía como para los de disciplinas STEM. Es una lectura recomendada para quienes buscan una comprensión rigurosa y aplicada de la lógica en el contexto computacional actual.