Disponibilidad:
- Casa del lectorDisponible 1 ejemplar
- Libro Técnico SurDisponible apróx. en 9 días
- AlmacénDisponible apróx. en 9 días
- Editorial:
- TEBAR, EDITORIAL
- Año de edición:
- 2024
- Materia
- Matematicas
- ISBN:
- 978-84-7360-991-3
- Páginas:
- 238
- Encuadernación:
- Bolsillo
- Colección:
- MATEMATICAS
LÓGICA MATEMÁTICA Y COMPUTACIONAL
TEORIA Y EJERCICIOS RESUELTOS
JIMÉNEZ DE PARGA,CARLOS
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... Leer más
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
