LOGICA MATEMATICA Y COMPUTACIONAL

LOGICA MATEMATICA Y COMPUTACIONAL

TEORIA Y EJERCICIOS RESUELTOS

JIMENEZ DE PARGA CARLOS

19,50 €
IVA incluido
Editorial:
TEBAR FLORES, EDITORIAL
Año de edición:
2024
Materia
Matematicas
ISBN:
978-84-7360-991-3
Páginas:
238
Encuadernación:
Rústica

Disponibilidad:

  • LIBRERÍAS PICASSO - ALMERÍAEn stock
  • LIBRERÍAS PICASSO - GRANADAEn stock
19,50 €
IVA incluido
Añadir a favoritos

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 deducti

Artículos relacionados