LOGICA MATEMATICA Y COMPUTACIONAL Teoría y Ejercicios resueltos

Carlos Jiménez de Parga

Octubre de 2024      Páginas: 238

Código 11270        ISBN/EAN: 9788473609913

CONTENIDO: Este manual de Lógica ofrece un curso teórico-práctico con numerosos ejemplos resueltos y ejercicios propuestos que introducirán al lector en los aspectos de esta ciencia que más han impactado en el campo del saber y en la tecnología más puntera.

Los primeros capítulos están orientados a estudiantes de Filosofía en lo que respecta al arte de pensar y argumentar, mientras que la obra completa es de amplia aplicación en facultades de Ingeniería, Ingeniería Informática y Ciencias Matemáticas (STEM) por el potencial para fomentar la capacidad de abstracción y razonamiento formalizado.

Lógica matemática y computacional permitirá al lector profundizar en los mecanismos que constituyen la Inteligencia Artificial y la verificación formal de programas de ordenador actuales.

La presente edición incluye:

- Lógica proposicional: desde la definición del lenguaje hasta los sistemas deductivos, incluyendo la deducción natural.

- Lógica de predicados de primer orden: con explicaciones y ejemplos sobre la semántica de las interpretaciones, las equivalencias y los sistemas deductivos, incluida la resolución.

- Lógica de Hoare: explicación completa para la verificación de programas secuenciales con gran cantidad de ejercicios.

- Lógica modal: desde ejemplos de tipos de relaciones hasta la deducción natural.

- Lógica temporal: expone de forma didáctica cómo razonar con conceptos de tiempo.

Sobre el autor:

Carlos Jiménez de Parga (Murcia, 1974) es Doctor en Ingeniería Informática por la Universidad Nacional de Educación a Distancia (UNED). Imparte docencia como profesor-tutor de Lógica y Matemática Discreta en el Centro Asociado de la UNED en Cartagena desde 2015. Ingeniero Técnico en Informática de Sistemas por la Universidad Politécnica de Valencia y Universidad de Murcia y Licenciado en Ingeniería Informática por la UNED. Comenzó a trabajar como Ingeniero Técnico en el año 1999 en desarrollo software C++. Actualmente trabaja como investigador en un proyecto combinado de Informática Gráfica e Inteligencia Artificial. Es autor de varias monografías sobre Ingeniería de Software y poesía clásica.